Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

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

Автор: Чень Ч., Ли Р.
Год: 1983
Издание:

Страниц: [не указано]
ISBN: [не указан]
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Добавлено: 2009-08-09 01:26:36

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы