Логика и компьютер: моделирование рассуждений и проверка правильности программ
Алешина Н.А., Анисов А.М., Быстров П.И.
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
سب زمرہ:
سال:
1990
زبان:
russian
صفحات:
242
ISBN 10:
5020071560
ISBN 13:
9785020071568
فائل:
DJVU, 7.16 MB
IPFS:
,
russian, 1990
Litres
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.fm پر رابطہ کریں۔
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد ![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
