Л 69 |
Логика и компьютер [Текст] : Моделирование рассуждений и проверка правильности прогр / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др.; Науч. ред. Е.Д.Смирнова; АН СССР. – М. : Наука, 1990. – 239с : ил. – (Сер. "Кибернетика - неогранич. возможности и возмож. ограничения"). – 50000.
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Для читателей, интересующихся перспективами современной компьютерной революции. |