Автор: Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.-
Название: Логика и компьютер. Серия "Кибернетика - неограниченные возможности и возможные ограничения”
Издательство: М:, Наука
Год: 1990
Страниц: 240
Формат: DJVU
Размер: 10 МБ

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