Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1 21.07.2023 19:42 Natasha_Klaus 3 Функциональное программирование Криптовалюты Cryptocurrencies Functional Programming
Парадоксы о сжатии данных +32 09.04.2019 07:18 tyomitch 102 Научно-популярное Алгоритмы Занимательные задачки Математика Сжатие данных
Оракул существует -2 14.01.2019 20:06 kuldiegor 142 Алгоритмы Научно-популярное Научно-популярное Алгоритмы
Тьюринг-полнота Generic типов Java +42 24.08.2017 15:51 ibessonov 7 JAVA Ненормальное программирование Математика
