Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)
Удалён продавцом.
18 март 2024 21:15
Этот лот уже не продается, но мы нашли для вас похожие
Полудняков В.И. Не убий. На ловца и зверь бежит (Уроки будущим пострадавшим), В книгу опытного петербургского юриста включены цикл повестей Не убий, рассказывающих о расплате за нарушение нравственных принципов, и цикл рассказов...(134аа)
200 руб.Народная воля и черный передел. Воспоминания участников революционного движения в Петербурге в 1879-1882гг. Из серии Библиотека революционных мемуаром `Из искры возгорится пламя`....(1128)
400 руб.Мартин Лес. Молодой Индиана Джонс и Тайна гибели Титаника, В 1912 году Инди гостит в Англии у Хелен Сеймур. Ему удается встретиться со своим кумиром — Конан Дойлем. Писатель отводит его к местной гадалке, которая предсказывает Инди...(222)
250 руб.Гуляковский Евгений. Прометей: трилогия, В наличии Огонь Прометея, Ослабленное бесконечными войнами и экологическими катастрофами человечество стало легкой добычей для темных князей, вторгшихся из космоса...(155)
200 руб.Волк на заклание. Отель «Гранд Вавилон», Ренделл Рут, Беннет Арнольд, Серия: Терра - детектив, Оба романа, написанные в жанре классического детектива, являются высокохудожественными произведениями. Захватывающие и увлекательные...(134аа)
200 руб.Караваева А. Собрание сочинений в 5-и томах, Единственное собрание сочинений известной в свое время советской писательницы представителя соцреализма...(224аа)(753а)
1 000 руб.Сабатини Р. Собрание сочинений в 2-х томах. Том 1: Псы Господни. Морской ястреб, Том 2: ``Скарамуш``, ``Маркиз де Карабас``...(114)
350 руб.Медников Анатолий. Жажда истины....(1172)
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
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Объявления продавца
Доставка в другие города
Почта России
Полудняков В.И. Не убий. На ловца и зверь бежит (Уроки будущим пострадавшим), В книгу опытного петербургского юриста включены цикл повестей Не убий, рассказывающих о расплате за нарушение нравственных принципов, и цикл рассказов...(134аа)
200 руб.Народная воля и черный передел. Воспоминания участников революционного движения в Петербурге в 1879-1882гг. Из серии Библиотека революционных мемуаром `Из искры возгорится пламя`....(1128)
400 руб.Мартин Лес. Молодой Индиана Джонс и Тайна гибели Титаника, В 1912 году Инди гостит в Англии у Хелен Сеймур. Ему удается встретиться со своим кумиром — Конан Дойлем. Писатель отводит его к местной гадалке, которая предсказывает Инди...(222)
250 руб.Гуляковский Евгений. Прометей: трилогия, В наличии Огонь Прометея, Ослабленное бесконечными войнами и экологическими катастрофами человечество стало легкой добычей для темных князей, вторгшихся из космоса...(155)
200 руб.Волк на заклание. Отель «Гранд Вавилон», Ренделл Рут, Беннет Арнольд, Серия: Терра - детектив, Оба романа, написанные в жанре классического детектива, являются высокохудожественными произведениями. Захватывающие и увлекательные...(134аа)
200 руб.Караваева А. Собрание сочинений в 5-и томах, Единственное собрание сочинений известной в свое время советской писательницы представителя соцреализма...(224аа)(753а)
1 000 руб.Сабатини Р. Собрание сочинений в 2-х томах. Том 1: Псы Господни. Морской ястреб, Том 2: ``Скарамуш``, ``Маркиз де Карабас``...(114)
350 руб.Медников Анатолий. Жажда истины....(1172)
200 руб.Поделиться этим лотом: