Показать сокращенную информацию
Логика и компьютер: моделирование рассуждений и проверка правильности программ
dc.contributor.author | Алешина Н.А., Анисов А.М., Быстров П.И. | |
dc.date.accessioned | 2016-02-21T20:52:04Z | |
dc.date.available | 2016-02-21T20:52:04Z | |
dc.date.issued | 1990 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/37900 | |
dc.description.abstract | Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику. | |
dc.language.iso | Russian | |
dc.publisher | ||
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Логика и компьютер: моделирование рассуждений и проверка правильности программ | |
dc.type | other | |
dc.identifier.aich | 3ED77MDET4FRL4EA4P7HBV25SCOYTAHI | |
dc.identifier.crc32 | E7345625 | |
dc.identifier.doi | ||
dc.identifier.edonkey | CCD952698219E78F0E76303731460E19 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | 510.6:681.3 | |
dc.identifier.bbk | ||
dc.identifier.libgenid | 1223750 | |
dc.identifier.md5 | 2e4e248960a09316cf7717dea1ea635c | |
dc.identifier.sha1 | FCLRZ6FDKYJY3VF7I7KH656TDW6UXMDL | |
dc.identifier.tth | XLJMCXA2C2LKMVVNTXMHC37RILOH2ZTZVO7S4EY |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]