Математическая логика и автоматическое доказательство теорем
Чень Ч., Ли Р.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем . Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Kategorie:
Rok:
1983
Wydawnictwo:
Наука
Język:
russian
Strony:
360
Serie:
Математическая логика и основания математики, 24
Plik:
DJVU, 4.58 MB
IPFS:
,
russian, 1983
Litres
Chcesz dodać księgarnię? Skontaktuj się z nami na support@z-lib.do
Konwertuj pliki
Więcej wyników wyszukiwania
Inne korzyści 
Najbardziej popularne frazy
Powiązane listy książek
