| Л69 |
Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Редкол.: И.М. Макаров, С.В. Емельянов и др. – М. : Наука, 1990. – 240с. – (Кибернетика - неограниченные возможности и возможные ограничения). – 0,65.
В книге детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.
|
