Зведений каталог бібліотек Тернополя
32.81Л69 Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / Редкол.: И.М. Макаров, С.В. Емельянов и др. — М. : Наука, 1990. — 240с. ISBN 5-02-007156-0
- Анотація:
В книге детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.
- Теми документа