Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)
Математическая логика и автоматическое доказательство теорем, Ч. Чень...
Цена
400 руб
Интернет-Магазин Julianna-cher
Представитель
Цена
400 руб
18 ч 5 мин 18 секдо конца торгов(26 янв 2020 23:26)
Красноярск, Циркусловия доставки
Представитель
Описание лота
Состояние | Б/у |
Издательство | Другое |
Язык | Русский |
Переплет | Другое |
Год выпуска 1983
Сохранность Хорошая
Ориг.название Symbolic Logic and Mechanical Theorem Proving
Авторы Ч. Чень, Р. Ли
Формат издания 145х215 мм (средний формат)
Количество страниц 360
Тираж 8500
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Редактор Сергей Маслов
Переводчики Г. Давыдов, Г. Минц, А. Сочилина
Переплет Твердый переплет
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 435
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Сохранность Хорошая
Ориг.название Symbolic Logic and Mechanical Theorem Proving
Авторы Ч. Чень, Р. Ли
Формат издания 145х215 мм (средний формат)
Количество страниц 360
Тираж 8500
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Редактор Сергей Маслов
Переводчики Г. Давыдов, Г. Минц, А. Сочилина
Переплет Твердый переплет
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 435
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Условия передачи
КНИГИ забираете Капитанская 6 в рабочее время или ул. Шевченко 84 вечером в рабочие дни или в выходные в любое время по согласованию ....ВСЕ ОСТАЛЬНОЕ ул. Тамбовская 35 или ул. Крайняя 2 или Красноярский Рабочий 89, ...пожалуйста ЗВОНИТЕ !!! ЗАРАНЕЕ!!! что бы согласовать конкретное место и время передачи лота...Сообщения типа За лотом приеду сегодня - завтра туда-то и во столько-то НЕ читаю...Для иногородних покупателей : прежде чем нажать кнопку купить пожалуйста заранее согласуйте со мной условия и стоимость отправки лота в другой город или в другую страну с помощью сообщений здесь...СМС и Вотс АП на телефоне НЕ ЧИТАЮ и НЕ отвечаю...ОБМЕНЫ НЕ интересны....задавайте все вопросы ДО...не делайте необдуманных ставок...Покупатель ПЕРВЫМ выходит на связь в течении 3-х дней...забираете лот в течении 5-и дней...потом лот перевыставляю...ЕСТЬ доставка лотов по городу Красноярску В ДНЕВНОЕ ВРЕМЯ...от 1000 руб. БЕСПЛАТНО!!! (что в багажник влезет)...менее + 200 руб...Спасибо...
Красноярск, Цирк
Увеличить карту
Доставка в другие города
Почта России
Поделиться этим лотом: