Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
[Допсем] Матлогика 3. Булевы функции. Критерий Поста
[Допсем] Матлогика 1. Основы формальных языков
[Допсем] Матлогика 5. Метод резолюций
[Допсем] Матлогика 3. Булевы функции
Факультатив АЛКТГ/ДА. 23.10.25 Аксиоматика ZFC.
Математическая логика и теория алгоритмов 10. Общезначимые формулы. Вопрос о выразимости
«Очень не люблю двуличие» — Наталья Зубаревич об экономике и фатализме
Торговля между РФ и Казахстаном, концепция энергетической сверхдержавы и конец доллара. Михаил Хазин
Войска отступают / Требование Зеленского