libcats.org
Главная

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

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

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

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