Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-techniques - Это страница 6 - GeneraCodice
Оптимальность жадного алгоритма
https://www.generacodice.com/ru/articolo/2447790/оптимальность-жадного-алгоритма
greedy-algorithms
-
proof-techniques
-
correctness-proof
cs.stackexchange
Что доказывает, что две сложные программы эквивалентны?
https://www.generacodice.com/ru/articolo/2445902/что-доказывает-что-две-сложные-программы-эквивалентны
model-checking
-
reference-request
-
proof-techniques
-
research
cs.stackexchange
Если график g (v, e) подключен $ | e | \ geq | v | -1 $
https://www.generacodice.com/ru/articolo/2445466/если-график-g-v-e-подключен-e-geq-v-1
proof-techniques
-
graphs
-
connected
cs.stackexchange
Как доказать свойства о специфической модульной арифметической эквивалентности
https://www.generacodice.com/ru/articolo/2444885/как-доказать-свойства-о-специфической-модульной-арифметической-эквивалентности
proof-techniques
-
modular-arithmetic
cs.stackexchange
Получение рекурсивного определения от спецификации функций
https://www.generacodice.com/ru/articolo/2444685/получение-рекурсивного-определения-от-спецификации-функций
recursion
-
induction
-
proof-techniques
-
calculus-of-constructions
cs.stackexchange
Необходимо разъяснение относительно сертификатов задач CONP
https://www.generacodice.com/ru/articolo/2443122/необходимо-разъяснение-относительно-сертификатов-задач-conp
proof-techniques
-
co-np
cs.stackexchange
Prove that the following language is not regular: $\{0^i1^j : i \neq j\}$ [duplicate]
https://www.generacodice.com/ru/articolo/1621525/prove-that-the-following-language-is-not-regular-0-i1-j-i-neq-j-duplicate
finite-automata
-
formal-languages
-
regular-languages
-
proof-techniques
cs.stackexchange
Is {a^n: n is a product of exactly two primes} regular?
https://www.generacodice.com/ru/articolo/1621003/is-a-n-n-is-a-product-of-exactly-two-primes-regular
formal-languages
-
pumping-lemma
-
regular-languages
-
proof-techniques
cs.stackexchange
Codeword constructed by Huffman's algorithm has average length of at most log n
https://www.generacodice.com/ru/articolo/1620874/codeword-constructed-by-huffman-s-algorithm-has-average-length-of-at-most-log-n
information-theory
-
algorithms
-
proof-techniques
-
huffman-coding
cs.stackexchange
Proving with co-induction principles
https://www.generacodice.com/ru/articolo/1620578/proving-with-co-induction-principles
formal-methods
-
coq
-
proof-techniques
-
coinduction
cs.stackexchange
«
3
4
5
6
7
8
»
Результаты найдены: 577