ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Государственное образовательное учреждение высшего профессионального образования

СЕВЕРО-ЗАПАДНЫЙ ГОСУДАРСТВЕННЫЙ ЗАОЧНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

Кафедра вычислительных машин, комплексов, систем и сетей

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС

Институт информационных систем и вычислительной техники

Специальности:

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