Логика и компьютер: Моделирование рассуждений и проверка правильности программ

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

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

Издание адресовано читателям, интересующимся перспективами современной компьютерной революции, в особенности тем, кто изучает и преподает информатику. Книга будет полезна специалистам в области информатики, желающим глубже понять логические основы своей дисциплины.

Книга входит в серию «Кибернетика: неограниченные возможности и возможные ограничения», основанную в 1963 году. Автор предисловия — академик И.М. Макаров, научный редактор — доктор философских наук Е.Д. Смирнова, рецензент — член-корреспондент Ю.И. Журавлев.