Математическая логика и автоматическое доказательство теорем
Аннотация
SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING CHIN-LIANG CHANG RICHARD CHAR-TUNG LEE ACADEMIC PRESS NEW YORK SAN FRANCISCO LONDON 197 3 Чень Ч., Ли Р. Математическая логика и автоматическое доказа- доказательство теорем: Пер. с англ/Под ред. С. Ю Маслова — М.: Наука. Глав- Главная редакция физико-математической литературы, 1983.—360 с Книга посвящена детальному изложению всего круга проблем, связан- связанных с так называемым методом резолюций Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного ин- интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые ре- результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем. u 1702020000 —050 _„ __ 053@2)-83 56"82 1973, Academic Press, lnc ) Перевод на русский язык. Издательство «Наука» Главная редакция физико- математической литерату- литературы, 1983
Как сослаться (ГОСТ Р 7.0.5-2008)
- В списке литературы
- Ли Р., Чень Ч. Математическая логика и автоматическое доказательство теорем. — 1983.
- В тексте
- (Ли Р., Чень Ч. Математическая логика и автоматическое доказательство теорем. 1983)