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

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

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

Кафедра компьютерных систем в управлении и проектировании

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

Зюзьков, В. М. Математическая логика и теория алгоритмов: Учебное пособие [Электронный ресурс] / В. М. Зюзьков. — Томск: ТУСУР, 2015. — 236 с. — Режим доступа: https://edu.tusur.ru/publications/5988
Автор:   Зюзьков В. М.
Год издания: 2015
Количество страниц: 236
Скачиваний: 944
ISBN:   978-5-4332-0197-2
УДК:   [510.6 + 510.5](075.8)

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

Введение...5

1 Миссия математической логики...7

2 Краткая история логики...29

3 Основы теории множеств...44

4 Пропозициональная логика....78

5 Языки первого порядка....105

6 Аксиоматический метод...131

7 Математическое доказательство...164

8 Алгоритмы и вычислимые функции...199

9 Сложность вычислений....214

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

Глоссарий....227

Предметный и персональный указатель...231