Практическое занятие №1. Машины Тьюринга.
Практическое занятие №2. Рекурсивные функции и множества. Тезис Черча.
Практическое занятие №3. Распознавание языков. Язык ВЫПОЛНИМОСТЬ.
Практическое занятие №4. Метод резолюций Робинсона.
Практическое занятие №5. Примеры NP-полных задач.