Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. СОДЕРЖАНИЕ: Классическая первопорядковая логика. О доказательстве правильности программ. Логика и программирование. Поиск доказательства. Приложение логики к проблемам искусственного интеллекта. Для студентов, преподавателей, широкого круга читателей.