Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)
Удалён продавцом.
18 март 2024 21:15
Этот лот уже не продается, но мы нашли для вас похожие
оз...вб..(4092339) Чеченский дневник, Артур Черный, Дарственная автора!!!
1 900 руб.ВбР/оз(4092365)Молис С. Хрестоматия по зоологии для VI-VII классов
1 000 руб.оз..вб...(1092343А) Предпринимательское право: Н. Косякова
2 000 руб.оз...(15..05) Кленов А.С., Малышам о минералах, Автор книги знакомит ребенка с удивительным миром камня, рассказывает о различных свойствах минералов, их применении, о профессиях, связанных с обработкой камня. Занимательная форма...(505)
3 000 руб.Первый председатель Малого Совнаркома, Николай Зубов, Эта книга посвящена одному из ближайших помощников В.И.Ленина, первому председателю Малого Совнаркома Советской России - М.Ю.Козловскому, деятелю польского, литовского...(176)
180 руб.Хирургическое лечение заболеваний пародонта, Безрукова А. П., В книге представлены материалы о применении хирургического метода при комплексном лечении заболеваний пародонта с использованием....(749)
150 руб.Последний штурм, Михаил Домогацких, Новый политический роман Михаила Домогацких "Последний штурм" является второй книгой широко известного романа "Южнее реки Бенжай". В романе показана агрессия США во Вьетнаме....(640)
400 руб.(1092369)Серия "Зарубежная классика - детям", Астрид Линдгрен. Малыш и Карлсон. Джанни Родари. Приключения Чиполлино. Памела Трэверс. Мэри Поппинс. Антуан де Сент-Экзюпери. Маленький принц (237а)(771)
800 руб.Математическая логика и автоматическое доказательство теорем, Ч. Чень...
Цена
400 руб.
Цена
400 руб.
Удалён(18 март 2024 21:15)
Описание
Год выпуска 1983
Сохранность Хорошая
Ориг.название Symbolic Logic and Mechanical Theorem Proving
Авторы Ч. Чень, Р. Ли
Формат издания 145х215 мм (средний формат)
Количество страниц 360
Тираж 8500
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Редактор Сергей Маслов
Переводчики Г. Давыдов, Г. Минц, А. Сочилина
Переплет Твердый переплет
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 435
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Сохранность Хорошая
Ориг.название Symbolic Logic and Mechanical Theorem Proving
Авторы Ч. Чень, Р. Ли
Формат издания 145х215 мм (средний формат)
Количество страниц 360
Тираж 8500
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Редактор Сергей Маслов
Переводчики Г. Давыдов, Г. Минц, А. Сочилина
Переплет Твердый переплет
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 435
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Доставка в другие города
Почта России
оз...вб..(4092339) Чеченский дневник, Артур Черный, Дарственная автора!!!
1 900 руб.ВбР/оз(4092365)Молис С. Хрестоматия по зоологии для VI-VII классов
1 000 руб.оз..вб...(1092343А) Предпринимательское право: Н. Косякова
2 000 руб.оз...(15..05) Кленов А.С., Малышам о минералах, Автор книги знакомит ребенка с удивительным миром камня, рассказывает о различных свойствах минералов, их применении, о профессиях, связанных с обработкой камня. Занимательная форма...(505)
3 000 руб.Первый председатель Малого Совнаркома, Николай Зубов, Эта книга посвящена одному из ближайших помощников В.И.Ленина, первому председателю Малого Совнаркома Советской России - М.Ю.Козловскому, деятелю польского, литовского...(176)
180 руб.Хирургическое лечение заболеваний пародонта, Безрукова А. П., В книге представлены материалы о применении хирургического метода при комплексном лечении заболеваний пародонта с использованием....(749)
150 руб.Последний штурм, Михаил Домогацких, Новый политический роман Михаила Домогацких "Последний штурм" является второй книгой широко известного романа "Южнее реки Бенжай". В романе показана агрессия США во Вьетнаме....(640)
400 руб.(1092369)Серия "Зарубежная классика - детям", Астрид Линдгрен. Малыш и Карлсон. Джанни Родари. Приключения Чиполлино. Памела Трэверс. Мэри Поппинс. Антуан де Сент-Экзюпери. Маленький принц (237а)(771)
800 руб.Поделиться этим лотом: