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