Сьогодні:

Каталог  » Прикладні науки. Медицина. Техніка » Хімічна технологія. Хімічна промисловість і споріднені галузі » Логика икомпьютер. Моделирование рассуждений и проверка правильности программНа головну

Каталог » Прикладні науки. Медицина. Техніка » Хімічна технологія. Хімічна промисловість і споріднені галузі



Додано: 2010-04-29 | Переглядів: 253 | Коментарів: 0

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

   УДК: 66
           Л69
   Автор: Алешина Н.А., Анисов А.М., Быстров П.И. и др.
   Видавництво: М.: Наука
   Рік видання: 1990
   ISBN: 5-02-007156-0
   Сторінок: 240
   Анотація: Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.

Детальніше ознайомитись з книгою можна в нашій бібліотеці!