Сайты ТУСУРа
Нажимая кнопку «СОГЛАСЕН», Вы подтверждаете то, что  Вы проинформированы об использовании cookies на нашем сайте. Отключить cookies Вы можете в  настройках своего браузера. Подробнее
Для того, чтобы мы могли качественно предоставить Вам услуги, мы используем cookies, которые сохраняются на Вашем компьютере (Сведения о местоположении; ip-адрес; тип, язык, версия ОС и браузера; тип устройства и разрешение его экрана; источник, откуда пришел на сайт пользователь; какие страницы открывает и на какие кнопки нажимает пользователь; эта же информация используется для обработки статистических данных использования сайта посредством интернет-сервиса Яндекс.Метрика)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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