Сайты ТУСУРа

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

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

Учебно-методическое пособие позволяет получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и организовать самостоятельную работу студентов при изучении дисциплины «Математическая логика и теория алгоритмов». Пособие предназначено для студентов направления «Программная инженерия» (уровень бакалавриата).

Кафедра автоматизации обработки информации

Библиографическая запись:

Перемитина, Т. О. Математическая логика и теория алгоритмов: Методические указания к практическим занятиям и организации самостоятельной работы / Т. О. Перемитина. — Томск: ТУСУР, 2018. — 23 с. — Режим доступа: https://edu.tusur.ru/publications/7464
Год издания: 2018
Количество страниц: 23
Скачиваний: 1418

Оглавление (содержание)

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