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

Скачать в pdf «Математическая логика и теория алгоритмов»




С.Д. ШАПОРЕВ


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


Учебное пособие


С анкт-Петербург 2004


Министерство образования Российской Федерации Балтийский государственный технический университет «Военмех»


С.Д. ШАПОРЕВ


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


Учебное пособие


Допущено Научно-методическим советом по математике вузов Северо-Запада в качестве учебного пособия для студентов вузов, обучающихся по специальностям 220200 «Автоматизированные системы обработки информации и управления», 071900 «Информационные системы и технологии»


Санкт-Петербург


2005


УДК 510.5 /.6(075) Ш 24


Шапорев С.Д.


Ш 24    Математическая логика и теория алгоритмов: Учеб. пособие / Балт. гос.


техн. ун-т. СПб., 2004. 227 с.


Рассмотрены основные разделы курса математической логики: алгебра логики, исчисление высказываний, логика и исчисление предикатов, а также некоторые вопросы теории рекурсивных функций. Автор уделил особое внимание доступности материала. Основной текст снабжен большим количеством примеров.


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


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


УДК 510.5 /.6(075)


Р е ц е н з е н т ы: кафедра высшей математики ПГУПС (зав. каф. д-р техн. наук, проф. В.Г. Дегтярев ), д-р техн. наук, проф. М.С. Попов


© БГТУ, 2004 © ШАПОРЕВ С.Д., 2004


ЧАСТЬ I. МАТЕМАТИЧЕСКАЯ ЛОГИКА


1. Алгебра логики (алгебра высказываний)


1.1. Введение


Формальная логика существует уже более двух тысячелетий. Зачатки логики явно прослеживаются в работах Аристотеля*. Идеи о построении логики на математической основе, то есть по сути математической логики были высказаны Лейбницем** в начале 18-го века.

Скачать в pdf «Математическая логика и теория алгоритмов»