101

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ

РОССИЙСКОЙ ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ АГЕНСТВО ПО ОБРАЗОВАНИЮ

МОСКОВСКИЙ ЭНЕРГЕТИЧЕСКИЙ ИНСТИТУТ

(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)

Вагин В.Н., Фомина М.В.

Теория алгоритмов

И

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

Учебное пособие по курсам «Дискретная математика»

и «Математическая логика»

для студентов МЭИ(ТУ), обучающихся по направлениям

«Прикладная математика и информатика»

и «Информатика и вычислительная техника»

Москва Издательский дом МЭИ 2010

УДК 621.398

М-25

Утверждено учебным управлением МЭИ

в качестве учебного пособия для студентов

Подготовлено на кафедрах прикладной математики

и вычислительной техники

Рецензент: к.т.н., проф. Плесневич Г.С.

Вагин В.Н., Фомина М.В.

В 124 Теория алгоритмов и математическая логика. Учебное пособие по курсам «Дискреная математика» и «Математическая логика» . -М.: Изд-во МЭИ, 2010. -100 с.

ISBN 978-5-383-00498-2

Рассмотрены основы теории алгоритмов и математической логики и многочисленные примеры решения задач по каждому разделу. Методические указания являются руководством для решения задач из области математической логики и искусственного интеллекта. Включены варианты заданий и список литературы для самостоятельной работы.

Пособие предназначено для студентов специальностей института Автоматики и вычислительной техники.

___________________________

Учебное издание

Вагин в.Н., Фомина м.В.

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

Учебное пособие по курсам «Дискреная математика» и «Математическая логика» для студентов МЭИ(ТУ), обучающихся по направлениям «Прикладная математика и информатика» и «Информатика и вычислительная техника»

Редактор издательства

_________________________________________________________

Темплан издания МЭИ 2010 (II), метод. Подписано к печати

Формат 60х84/16 Печать офсетная Физ. печ.л.

Тираж 150 экз. Изд. № Заказ №

__________________________________________________________

ЗАО «Издательский дом МЭИ», 111250, Москва, Красноказарменная, д.14

Отпечатано в типографии ФПК «НИИ Геодезия», 141292, Моск.обл., г.Красноармейск, просп. Испытателей, д.14

ISBN 987-5-383-00498-2 © Московский энергетический институт

(технический университет), 2010

Предисловие

Широкое использование вычислительной техники в различных сферах деятельности человека привело к потребности создания интеллектуальных систем, значительно понижающих трудоемкость деятельности человека. Для создания программного обеспеченияинтеллектуальных систем необходимо разработать или выбрать языки представления знаний, позволяющие сделать формальное описание проблемной области, а также механизмы обработки знаний. Одной из перспективных технологий разработки интеллектуальных систем является технология, основанная на «инженерии знаний». Современная «инженерия знаний» содержит огромное разнообразие языков представления знаний и механизмов их обработки, в основе которых лежит аппарат, базирующийся на математической логике.

Предлагаемое учебное пособие включает краткие теоретические описания разделов теории алгоритмов и математической логики, решения типовых задач, список литературы, рекомендуемые студентам для самостоятельной работы.

Учебное пособие рекомендуется студентам высших учебных заведений, обучающихся по направлениям «Прикладная математика и информатика», «Информатика и вычислительная техника» и т.п.

Авторы желают читателям успехов в овладении классическим и современным аппаратом математической логики и в получении практических навыков по его использованию.