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

1 Введение 4

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

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

2.2 Практическое занятие «Равносильные преобразования формул логики высказываний» 7

2.3 Практическое занятие «Дизъюнктивные и конъюнктивные нормальные формы формул логики высказываний» 8

2.4 Практическое занятие «Логическое следование формул» 9

2.5 Практическое занятие «Булевы функции» 10

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

2.7 Практическое занятие «Машины Тьюринга» 13

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

3.1 Общие положения 14

3.2 Изучение тем теоретической части 15

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

3.4 Подготовка к контрольным работам 16

3.5 Выполнение индивидуальных заданий 17

3.6 Подготовка к экзамену 18

Приложение А 19

Приложение Б 20

Приложение В 21

Приложение Г 22

Приложение Д 23