Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1 21.07.2023 19:42 Natasha_Klaus 3 Functional Programming Cryptocurrencies Функциональное программирование Криптовалюты
Парадоксы о сжатии данных +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