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