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

Методические указания к выполнению практических работ по дисциплине для студентов специальности 230102 «Автоматизированные системы обработки информации и управления»

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

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

Перемитина, Т. О. Математическая логика и теория алгоритмов: Методические указания к выполнению практических работ по дисциплине для студентов специальности 230102 «Автоматизированные системы обработки информации и управления» [Электронный ресурс] / Т. О. Перемитина. — Томск: ТУСУР, 2015. — 36 с. — Режим доступа: https://edu.tusur.ru/publications/5950
Год издания: 2015
Количество страниц: 36
Скачиваний: 22

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

Практическое занятие No 1 «Формулы алгебры высказываний» ... 3

Практическое занятие No 2 «Равносильные преобразования формул алгебры высказываний»... 8

Практическое занятие No 3 «Нормальные формы формул»... 10

Практическое занятие No 4 «Логические рассуждения» .... 12

Практическое занятие No 5 «Формулы логики предикатов» ... 16

Практическое занятие No 6 «Булевы функции»... 20

Практическое занятие No 7 «Частично рекурсивные функции» ... 24

Практическое занятие No 8 «Машины Тьюринга» ...... 30

Рекомендуемая литература ... 36