Математическая логика и теория алгоритмов

1 Введение 4

2 Методические указания к проведению практических занятий 5

2.1 Практическое занятие «Формулы логики высказываний» 5

2.2 Практическое занятие «Формулы логики предикатов» 7

3 Методические указания к проведению лабораторных работ 9

3.1 Лабораторная работа «Булевы функции» 9

3.2 Лабораторная работа «Машины Тьюринга» 10

4 Методические указания для организации самостоятельной работы 13

4.1 Общие положения 13

4.2 Изучение тем теоретической части 14

4.3 Подготовка к практическим занятиям 15

4.4 Подготовка к лабораторным работам 15

4.5 Выполнение контрольной работы 16

4.6 Подготовка к экзамену 16

4.7 Рекомендуемая литература 17