00 Математическая логика и теория алгоритмов
- 1 ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ.pdf
- 2 ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ.pdf
- 3 ЛОГИКА ПРЕДИКАТОВ.pdf
- 4 ИСЧИСЛЕНИЕ ПРЕДИКАТОВ.pdf
- Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов (3-е издание, 1995)
- Судоплатов с.в Овчинникова е.в Математическая логика и теория алгоритмов.pdf
- Новиков Дискретная математика для программистов .pdf
- Герасимов курс математической логики и теории вычислимости.pdf
- Верещагин, Шень Языки и исчисления.pdf
- Тавтологии.pdf