Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

<< |
Тема 1. Логика высказываний
1.3. Булевы функции
1.9. Полные системы функций
Тема 5. Теория алгоритмов
5.3.1. Проблема самоприменимости
5.5. Классы сложности задач

Книги и учебники по дисциплине Математическая логика:

  1. Конспекты лекций по математической логике - 2017 год