Перевод с англ. Г. Давыдова Г.Минца и А. Сочилиной.
Под редакцией и с предисловием С. Ю. Маслова.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ
Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты
Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.