Логика и компьютер. Моделирование рассуждений и проверка правильности программ
240 стр., серия:
"Кибернетика: неограниченные возможности и возможные ограничения",
издатель:
"Наука", ISBN:
5-02-007156-0
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
В наличии: |
|
OZON.ru - 302 руб.
|
Перейти
|
|
|