Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
AIML-2-2-3 Сколемовская нормальная форма
AIML-2-2-1 Логика предикатов
Двоичная и троичная логика. Из глубин компьютерных чипов до вершин диалектической философии.
Впервые за 30 лет!.. / Пугающий прогноз ЦБ || Дмитрий Потапенко*
Математическая логика и теория алгоритмов 9. Метод резолюций
ЭТИ АЛГОРИТМЫ СДЕЛАЮТ ИЗ ТЕБЯ ПРОГРАММИСТА
