4зной
1ответ
Как доказать равные функции, зная, что их тела равны?
0зной
1ответ
-4зной
1ответ
Докажите, что 928675 * 2^n = 0 (2^n) Большая сложность записи
0зной
1ответ
Как доказать (R -> P) [в помощнике проверки Coq]?
0зной
1ответ
Необходимые и достаточные по сравнению с звуком и полнотой
1зной
1ответ
Зачем нам нужно использовать часть отрицания в Turing's Halting Proof?
3зной
2ответ
Идрис доказательство по определению