Ebook: Математическая логика и автоматическое доказательство теорем
Author: Чень Ч. Ли Р.
- Genre: Математика // Математическая логика
- Series: Математическая логика и основания математики 24
- Year: 1983
- Publisher: Наука
- Language: Русский
- djvu
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем . Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Download the book Математическая логика и автоматическое доказательство теорем for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)