Online Library TheLib.net » Математическая логика и автоматическое доказательство теорем
cover of the book Математическая логика и автоматическое доказательство теорем

Ebook: Математическая логика и автоматическое доказательство теорем

00
27.01.2024
0
0
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем . Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Download the book Математическая логика и автоматическое доказательство теорем for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen