Показати скорочений опис матеріалу
Математическая логика и автоматическое доказательство теорем
dc.contributor.author | Чень Ч., Ли Р. | |
dc.date.accessioned | 2016-02-22T00:46:14Z | |
dc.date.available | 2016-02-22T00:46:14Z | |
dc.date.issued | 1983 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/42003 | |
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 | 3UGY4OHMXJ4Y73DDWCAI73MKJIJ7AHAO | |
dc.identifier.crc32 | 2D85A51A | |
dc.identifier.doi | ||
dc.identifier.edonkey | 6222506F87986A93ADD115D4184AF96A | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1288287 | |
dc.identifier.md5 | 430af2ea3d3f5f35165f425ac42af93c | |
dc.identifier.sha1 | V6R7TFVX2B3MWEKYWKN63WMSZHTUDYBG | |
dc.identifier.tth | XABJJ72YDJVN2CM34GNXV67DMXYZLNCENCPINUQ |
Долучені файли
Даний матеріал зустрічається у наступних фондах
-
Libgen [81666]