Методические указания для проведения практических занятий и организации самостоятельной работы студентами технических специальностей
Кафедра управления инновациями
Библиографическая запись:
Оглавление (содержание)
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 Подготовка к контрольным работам 17
3.5 Выполнение индивидуальных заданий 17
3.6 Подготовка к экзамену 18
Приложение А 19
Приложение Б 21
Приложение В 22
Приложение Г 23
Приложение Д 24
