7зной
3ответ
Какие законы являются стандартными классами классов Haskell, которые должны поддерживаться?
2зной
1ответ
Есть ли недостатки в моем алгоритме Greedy?
0зной
1ответ
Как я могу доказать следующую логическую инструкцию дедуктивно?
0зной
4ответ
Как я могу доказать по индукции, что второй из этих двух алгоритмов быстрее?
2зной
1ответ
Используя coq, пытаясь доказать простую лемму о деревьях
1зной
1ответ
Почему существует только одна возможная реализация функции * id *?
1зной
2ответ
Можно ли теоретически разработать прогностически неустранимую аппаратно-программную систему?