Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
AIML-2-2-3 Сколемовская нормальная форма
AIML-2-2-1 Логика предикатов
Введение в логику, урок 4: Предикаты и кванторы | Хекслет
Алла Пугачёва: большое интервью «Скажи Гордеевой»
Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]
Математическая логика и теория алгоритмов 9. Метод резолюций
