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

Серия: "Кибернетика: неограниченные возможности и возможные ограничения"

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

Издательство: "Наука" (1990)

Формат: 84x108/32, 240 стр.

ISBN: 5-02-007156-0

Купить за 310 руб на Озоне