Методические указания к практическим занятиям и организации самостоятельной работы
Кафедра автоматизации обработки информации
Библиографическая запись:
Оглавление (содержание)
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
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Заочная форма обучения, план набора 2016 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Заочная форма обучения, план набора 2018 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2018 г. План в архиве
Математическая логика
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Очная форма обучения, план набора 2019 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Индустриальная разработка программных продуктов) Очная форма обучения, план набора 2016 г. План в архиве