- •Математическая логика и теория алгоритмов
- •1. Информация о дисциплине
- •1.1. Предисловие
- •1.2. Содержание дисциплины и виды учебной работы
- •2. Рабочие учебные материалы
- •2.1. Рабочая программа
- •2.2. Тематический план дисциплины
- •2.3. Структурно-логическая схема дисциплины
- •2.4. Временной график изучения дисциплины
- •2.5. Практический блок
- •2.6. Рейтинговая система
- •3. Информационные ресурсы дисциплины
- •3.1. Библиографический список
- •3.2. Опорный конспект лекций по дисциплине
- •ВВЕДЕНИЕ
- •1. ЛОГИКА ВЫСКАЗЫВАНИЙ
- •2. ЛОГИКА ПРЕДИКАТОВ
- •5. ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ
- •6. ВЕРИФИКАЦИЯ АЛГОРИТМОВ И ПРОГРАММ
- •7. ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ
- •Заключение
- •3.3. Учебное пособие
- •3.4. Глоссарий
- •4. Блок контроля освоения дисциплины
- •4.2. Тестирование
- •Содержание
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Государственное образовательное учреждение высшего профессионального образования
СЕВЕРО-ЗАПАДНЫЙ ГОСУДАРСТВЕННЫЙ ЗАОЧНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
Кафедра вычислительных машин, комплексов, систем и сетей
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС
Институт информационных систем и вычислительной техники
Специальности:
230101.65 – вычислительные машины, комплексы, системы и сети 230102.65 – автоматизированные системы обработки информации и управления 230105.65 – программное обеспечение вычислительной техники и
автоматизированных систем 230201.65 – информационные системы и технологии
230202.65 – информационные технологии в образовании
Направления подготовки бакалавров:
230100.62 − информатика и вычислительная техника
230200.62 − информационные системы
Санкт-Петербург Издательство СЗТУ
2008
Утверждено редакционно-издательским советом университета
УДК 512
Математическая логика и теория алгоритмов: учебно-методический комплекс / cост. Г.И. Анкудинов, И.А. Бригаднов - СПб.: Изд-во CЗТУ, 2008. – 112 с.
Учебно-методический комплекс разработан в соответствии с государственными образовательными стандартами высшего профессионального образования 2-го поколения.
Дисциплина посвящена изучению логики высказываний и логики предикатов, формальных теорий и теории алгоритмов.
Рассмотрено на заседании кафедры вычислительных машин, комплексов, систем и сетей 24 января 2008 г., одобрено методической комиссией института информационных систем и вычислительной техники 14 февраля 2008 г.
Рецензенты: кафедра информатики СЗТУ (зав. кафедрой Г.Г. Ткаченко, канд. физ.-мат. наук, доц.); И.В. Герасимов, д-р техн. наук, проф., декан факультета компьютерных технологий и информатики, зав. кафедрой САПР Санкт-Петербургского государственного электротехнического университета “ЛЭТИ”.
Составители: Г.И. Анкудинов, д-р техн. наук, проф.; И.А. Бригаднов, д-р физ.-мат. наук, проф.
Издательством осуществлено литературное и техническое редактирование рукописи
©Северо-Западный государственный заочный технический университет, 2008
©Анкудинов Г.И., Бригаднов И.А., 2008
2