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

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

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

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

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

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

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

ВВЕДЕНИЕ... 3

1. ОБЩАЯ ХАРАКТЕРИСТИКА САМОСТОЯТЕЛЬНОЙ РАБОТЫ ПО ДИСЦИПЛИНЕ... 3

2. СТРУКТУРА САМОСТОЯТЕЛЬНОЙ РАБОТЫ...3

3. МЕТОДИКА РЕАЛИЗАЦИИ САМОСТОЯТЕЛЬНОЙ РАБОТЫ ПО ТЕОРЕТИЧЕСКОМУ КУРСУ...4

4. СОДЕРЖАНИЕ РАЗДЕЛОВ И ТЕМ ДИСЦИПЛИНЫ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ... 4

4.2 Нормальные формы формул... 8

4.3 Логические рассуждения.... 11

4.4 Логика предикатов.... 13

4.5 Основы теории алгоритмов.... 15

ОЦЕНКА ВЫПОЛНЕНИЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТА.... 19

РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА