Математическая логика и теория алгоритмов
- Алгебра высказываний
- Исчисление высказываний
- Логика предикатов
- Машина Тьюринга
- Рекурсивные функции
- Задачи
- Лабораторные работы
- Презентации
Источники
- Лихтарников, Сукачева – Математическая логика. Курс лекций. Задачник-практикум и решения (2009)
- Зюзьков – Математическая логика и теория алгоритмов (2015)
- Судоплатов, Овчинникова – Математическая логика и теория алгоритмов (2010)
- Онлайн курс от МФТИ на платформе Открытое образование
- Онлайн-курс от ТУСУР на платформе Stepik
- Онлайн-курс от СПбПУ на платформе Открытое образование
- Онлайн курс от МГГУ на платформе Интуит
- Онлайн-курс по логике и алгоритмам на Интуит