Поиск книг, учебников, пособий в онлайн-магазинах
Я ищу
Название книги, автор, издатель, серия или ISBN
Логика и компьютер. Моделирование рассуждений и проверка правильности программ

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

240 стр., серия: "Кибернетика: неограниченные возможности и возможные ограничения", издатель: "Наука", ISBN: 5-02-007156-0

Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
В наличии:
OZON.ru OZON.ru - 302 руб. Перейти
 
Рейтинг книги: starstarstarstarstar 5 из 5, 2 голос(-ов).

Популярные книги по минимальной цене:

Тайная жизнь пчел 001.007/4. Круг чтения. Лучшая современная проза
275 руб.
Шапиро. Готовимся к сочинению. Тетрадь-практикум для развития письменной речи. 7 кл.
124 руб.
Злые ветры Запада
335 руб.
Эдвард Руки-ножницы. Последний надрез. Полное издание
838 руб.

Дополнительно: