ISBN 5-02-007156-0
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для .широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных
технологий.
Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
ПРЕДИСЛОВИЕ
Информатика как новое направление науки и техники оформилось буквально у нас на глазах. Само название этого направления (информатика, "вычислительная наука") закрепилось в различных языках не более 30 лет назад. Однако корни информатики весьма глубоки и разнообразны. Для того чтобы познакомиться с ними, необходимо обратиться к истории и современному развитию целого комплекса фундаментальных и технических наук (от математики и физики до криптологии и техники связи). К числу важнейших источников и постоянных факторов развития информатики относится и логика.
До недавнего времени сведения о логике во многих учебниках информатики занимали очень мало места. Конечно, даже начинающий программист знал, что точное определение понятия алгоритма впервые было найдено в рамках формальных систем математической логики. Однако конкретная программистская практика не требовала серьезного углубления в логику. Общего представления о вкладе логики в основы информатики казалось достаточно.
Между тем в последние годы на стыке логики и программирования возникли новые направления информатики (см:"Логическое программирование". М.: Мир, 1988). Одним из наиболее известных проектов создания компьютеров пятого поколения предполагается использование логики в качестве основной формальной системы программирования (см.:Дж.Симоне. "ЭВМ пятого поколения: компьютеры 90-х годов". М.: Финансы и статистика , 1985). Специалисты, работаю-
ОГЛАВЛЕНИЕ Предисловие ................................. 3
Глава 1. Классическая Перес-порядковая
логика.............................. 9
1.1. Что такое правильное рассуждение? Посылки и заключения......................... 9
1.2. Формальный характер рассуждений. Предложения и высказывания.................... 12
1.3. Язык первопорядковой логики предикатов.. 16
1.4. Интерпретация языка логики предикатов... 23
1.5. Способы формализации логического следования и общезначимости.................. 27
1.6. Силлогистика и так называемые естественные рассуждения......................... 56
Глава 2. Логика в программировании........... бО
2.1. Теория алгоритмов и логика - родители программирования........................ 60
2.2. Попытки применения логики в программировании в 50-х - то-х годах............... 64
2.3. Логики описания программ................ 7О
2.4. Логическое описание программирования.... 77
2.5. Логика как инструмент анализа понятий программирования........................ 95
Глава 3. О доказательствах правильности
программ............................ 99
3.1. Зачем нужно доказывать правильность программ................................ 99
3.2. Понятие правильной программы: первое знакомство.............................. 1 о4
3.3. Доказательство правильности программ:
метод математической индукции...........• 121
3.4. Доказательство правильности программ и доказательства теорем на компьютерах..-* 133
3.5. Доказательство правильности программ с
Глава 4. Поиск доказательства............... 158
4.1. Возможны ли логические процедуры поиска выводов и доказательств?............... 158
4.2. Поиск натурального вывода в режиме
диалога................................ 166
Глава 5. Приложение логики к проблемам
искусственного интеллекту.......... 1 S3
5.1. Эпистемическая логика и распределенные системы................................ 183
5.2. Рассуждения при ограниченных ресурсах. Логика с ресурсами..................... 2ОЗ
5.3» Правдоподобные рассуждения в системах
искусственного интеллекта.............. 2О9
i
Литература................ —............... 231
Об авторах.................................. 235
Цена: 150руб.
