Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)
Удалён продавцом.
18 март 2024 21:15
Этот лот уже не продается, но мы нашли для вас похожие
Уварова Е., Аркадий Райкин, Автор исследует работу артиста в разных жанрах - моноспектаклях, монологах, фельетонах, конферансе, пантомиме и т.д.
300 руб.(1092364)Гражданский процессуальный кодекс РСФСР. С постатейными материалами
250 руб.(1092364)Зарубежный детектив , Анна Бауэрова, Гуннар Столесен, Джеймс Х.Чейз (см фото)
200 руб.ВбЮ//OzЮ(00-39)Хрестоматия по русской музыкальной литературе. Для VI-VII классов детских музыкальных школ. Составители: Э. Смирнова, А. Самонов.
1 500 руб.ВбЮ/OzЮ(00-39)*2Hallo, Nachbarn! Band 3. Einheiten 21-30, Antonova Lydia
2 000 руб.ВбЮ//OzЮ(00-39)Левитин Е. А, Левитин Л. Е. Радиовещательные приемники: Справочник, Изд. 1967 г
3 000 руб.ВбЮ(00-39)Тронский И.М. История античной литературы
1 200 руб.(1092343)Иван Лазутин, "Родник пробивает камни", Автор рассказывает о судьбе молодой девушки Светланы Каретниковой, яркой, одаренной личности, не поступившей после окончания школы в театральный институт и пришедшей на завод...
200 руб.Математическая логика и автоматическое доказательство теорем, Ч. Чень...
Цена
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
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Доставка в другие города
Почта России
Уварова Е., Аркадий Райкин, Автор исследует работу артиста в разных жанрах - моноспектаклях, монологах, фельетонах, конферансе, пантомиме и т.д.
300 руб.(1092364)Гражданский процессуальный кодекс РСФСР. С постатейными материалами
250 руб.(1092364)Зарубежный детектив , Анна Бауэрова, Гуннар Столесен, Джеймс Х.Чейз (см фото)
200 руб.ВбЮ//OzЮ(00-39)Хрестоматия по русской музыкальной литературе. Для VI-VII классов детских музыкальных школ. Составители: Э. Смирнова, А. Самонов.
1 500 руб.ВбЮ/OzЮ(00-39)*2Hallo, Nachbarn! Band 3. Einheiten 21-30, Antonova Lydia
2 000 руб.ВбЮ//OzЮ(00-39)Левитин Е. А, Левитин Л. Е. Радиовещательные приемники: Справочник, Изд. 1967 г
3 000 руб.ВбЮ(00-39)Тронский И.М. История античной литературы
1 200 руб.(1092343)Иван Лазутин, "Родник пробивает камни", Автор рассказывает о судьбе молодой девушки Светланы Каретниковой, яркой, одаренной личности, не поступившей после окончания школы в театральный институт и пришедшей на завод...
200 руб.Поделиться этим лотом: