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

Учебное методическое пособие

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

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

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

Зюзьков, В. М. Математическая логика и теория алгоритмов: Учебное методическое пособие [Электронный ресурс] / В. М. Зюзьков. — Томск: ТУСУР, 2015. — 80 с. — Режим доступа: https://edu.tusur.ru/publications/6516
Автор:   Зюзьков В. М.
Год издания: 2015
Количество страниц: 80
Скачиваний: 30

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

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

2 Как решать задачи ....................................................................................6

2.1 Операции с множествами........................................................................9

2.2 Отношения .............................................................................................17

2.3 Отображения...........................................................................................23

2.4 Эквивалентность и порядок.....................................................................27

2.5 Логика высказываний..............................................................................31

2.6 Переводы с естественного языка на формальный и обратно (язык логики предикатов)............36

2.7 Предикаты и интерпретация ...................................................................45

2.8 Математическая индукция.......................................................................55

2.9 Сравнение скорости роста ......................................................................58