Зведений каталог бібліотек Києва

 

З97
Л694Алешин, Н. А.
    Логика и компьютер: моделирование рассуждений и проверка правильности программ [Текст] / АН СССР. — Москва : Наука, 1990. — 240 с. : ил.


- Ключові слова:

комп'ютер, компьютер, computer ; машина електронна обчислювальна, ЕОМ, машина электронная вычислительная, ЭВМ, electronic computer ; логіка, логика, logic

- Анотація:

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

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

- Теми документа

  • ББК науковий // Електронні обчислювальні машини та пристрої дискретної дії. Цифрові ЕОМ
  • ББК науковий // Кібернетичні моделі
  • ББК науковий // Прикладная логика



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 12 Перейти на сайт