URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем: Пер. с англ.
Id: 5315
 
1299 руб.

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

1983. 360 с. Твердый переплет. Букинист. Состояние: 4+. .

 Аннотация

Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.

 
© URSS 2016.

Информация о Продавце