Каталог: Наука, образование »•» Математика, статистика

	Чень, Ч.; Ли, Р. Математическая логика и автоматическое доказательство теорем Серия: Математическая логика и основания математики
	Издательство: М.: Наука
	Переплет: коленкоровый; 360 страниц; 1983 г.
	ISBN: [не указан]; Формат: увеличенный
	Язык: русский
	На сайте с 26.09.2011

Аннотация

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

В продаже   Хочу купить

Продавец: bukvoed (Киев, UA/11 )   Состояние: хорошее; В продаже с 23.07.2024 Комментарий: в целом почти не изношена, но пятно на обложке, внутри в отличном состоянии. Вес 440 г. Условия доставки и оплаты Способы доставки: почтой по предоплате Способы оплаты: перевод на банковский счет; почтовый перевод/перевод без открытия счета; электронный платеж (WM, Y.Д и т.п.) Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]

Цена 1500 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать