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