Логика и компьютер. Моделирование рассуждений и проверка правильности программКНИГИ » НАУЧНО-ПОПУЛЯРНОЕ
Название: Логика и компьютер. Моделирование рассуждений и проверка правильности программ Автор: Алешина Н.А., Анисов А.М., Быстров П.И. и др. Издательство: М.: Наука Год: 1990 Формат: pdf Страниц: 240 Размер: 10 mb Язык: русский
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
Навигация
Вход на сайт
Реклама
Логика и компьютер. Моделирование рассуждений и проверка правильности программ 
