Электронный каталог МАУК "МИБС" г. Кемерово

Книга
32.81 Л69

Логика и компьютер. Моделирование рассуждений и проверка правильности программ / авт. Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. – Москва : Наука, 1990 . – 240 с. : ил. – (Кибернетика - неограниченные возможности и возможные ограничения) . - ISBN 5-02-007156-0 .

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

ББК 32.81

Общий = Ретроввод
Общий = Программирование
ключевой = Логические основы
Общий = Логика
Общий = Компьютеры