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

Учебное пособие

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

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

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

Перемитина, Т. О. Математическая логика и теория алгоритмов: Учебное пособие [Электронный ресурс] / Т. О. Перемитина. — Томск: ТУСУР, 2016. — 132 с. — Режим доступа: https://edu.tusur.ru/publications/5949
Год издания: 2016
Количество страниц: 132
Скачиваний: 422
УДК:   510.6 + 510.51

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

Введение...4

1.Алгебра высказываний...6

2.Булевы функции...46

3.Логика предикатов...81

4.Теория алгоритмов...106

Заключение ...129

Литература...130

Глоссарий