Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)
Удалён продавцом.
18 март 2024 21:15
Этот лот уже не продается, но мы нашли для вас похожие
В. Шукшин. Собрание сочинений в 5 томах ... Собрание сочинений русского советского писателя, сценариста, кинорежиссера и актера...(1194а)
4 000 руб.Михайловская тетрадь | Пушкин Александр Сергеевич (517)
300 руб.LED-C37-6W-NW-E14-FR-O Лампа светодиодная Volpe. Форма свеча. матовая колба. Материал корпуса пластик. Цвет свечения белый. Серия Optima. Упаковка картон (37-1\2)
50 руб.Хэррод-Иглз С. Шевалье, Династия Морлэндов - это серия романов об истории семьи Морлэндов. Действие происходит в Англии начиная с XV века. Переходя от жизнеописания одного действующего лица к другому...(122)
250 руб.(1092312) Украинские народные сказки. Сборник... Сборник наиболее популярных сказок украинского народа. С цветными рисунками на вклейках В. Мельниченко.
450 руб.(1092312) О Брайен Кейт. В вашем магазине мошенники!.. рассматриваются причины потерь в розничной торговле, причем основной акцент делается не на усушку - утруску. а на различные виды мошенничества и воровства
600 руб.oz меш. (1092312) Тантрические медитации | Сарасвати Свами Сатьянанда... Тантра - древнейшая наука жизни, нацеленная на ускорение эволюции человечества.
3 200 руб.(1092389)Зоммерфельд А. Механика, Книга Зоммерфельда является хорошим введением в механику как отдел теоретической физики. Написанная с большим педагогическим мастерством, она, несмотря на небольшой объем...
600 руб.Математическая логика и автоматическое доказательство теорем, Ч. Чень...
Цена
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
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Доставка в другие города
Почта России
В. Шукшин. Собрание сочинений в 5 томах ... Собрание сочинений русского советского писателя, сценариста, кинорежиссера и актера...(1194а)
4 000 руб.Михайловская тетрадь | Пушкин Александр Сергеевич (517)
300 руб.LED-C37-6W-NW-E14-FR-O Лампа светодиодная Volpe. Форма свеча. матовая колба. Материал корпуса пластик. Цвет свечения белый. Серия Optima. Упаковка картон (37-1\2)
50 руб.Хэррод-Иглз С. Шевалье, Династия Морлэндов - это серия романов об истории семьи Морлэндов. Действие происходит в Англии начиная с XV века. Переходя от жизнеописания одного действующего лица к другому...(122)
250 руб.(1092312) Украинские народные сказки. Сборник... Сборник наиболее популярных сказок украинского народа. С цветными рисунками на вклейках В. Мельниченко.
450 руб.(1092312) О Брайен Кейт. В вашем магазине мошенники!.. рассматриваются причины потерь в розничной торговле, причем основной акцент делается не на усушку - утруску. а на различные виды мошенничества и воровства
600 руб.oz меш. (1092312) Тантрические медитации | Сарасвати Свами Сатьянанда... Тантра - древнейшая наука жизни, нацеленная на ускорение эволюции человечества.
3 200 руб.(1092389)Зоммерфельд А. Механика, Книга Зоммерфельда является хорошим введением в механику как отдел теоретической физики. Написанная с большим педагогическим мастерством, она, несмотря на небольшой объем...
600 руб.Поделиться этим лотом: