URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Алешина Н.А., Анисов А.М., Непейвода Н.Н. и др. Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Id: 27645
 
699 руб.

Логика и компьютер. Моделирование рассуждений и проверка правильности программ

1990. 240 с. Мягкая обложка. ISBN 5-02-007156-0. Букинист. Состояние: 4+. Машинописный шрифт.

 Аннотация

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

 
© URSS 2016.

Информация о Продавце