Сайты ТУСУРа

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

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

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

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

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

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

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

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