| 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 | |
