LibeX: Книжный интернет магазин. Продать книги. Купить книги

Магазин, где можно не только купить, но и продать книги

Каталог: Наука, образование »•» Математика, статистика

Чень, Ч.; Ли, Р.: Математическая логика и автоматическое доказательство теорем

counter

Чень, Ч.; Ли, Р.

Математическая логика и автоматическое доказательство теорем

Серия: Математическая логика и основания математики

Издательство: М.: Наука
Переплет: коленкоровый; 360 страниц; 1983 г.
ISBN: [не указан]; Формат: увеличенный
Язык: русский
На сайте с 26.09.2011

Аннотация

Перевод с англ. Г. Давыдова Г.Минца и А. Сочилиной.
Под редакцией и с предисловием С. Ю. Маслова.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем "искусственного интеллекта". Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.


 В продаже  Хочу купить
Продавец: bukvoed отлично, более 100 оценок (Киев, UA/11 флаг)  
Состояние: индикатор состояния хорошее; В продаже с 23.07.2024
Комментарий: в целом почти не изношена, но пятно на обложке, внутри в отличном состоянии. Вес 440 г.

Условия доставки и оплаты

Способы доставки: почтой по предоплате

Способы оплаты: перевод на банковский счет; почтовый перевод/перевод без открытия счета; электронный платеж (WM, Y.Д и т.п.)

Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ

Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты
Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]

Цена
1500 руб


Продавец: wowik отлично, более 100 оценок (Томск, RU/70 флаг)  
Состояние: индикатор состояния хорошее; В продаже с 30.09.2024

Условия доставки и оплаты

Способы доставки: почтой по предоплате

Способы оплаты: банковской картой

Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.

Цена
1630 руб


Продавец: wowik отлично, более 100 оценок (Томск, RU/70 флаг)  
Состояние: индикатор состояния как новое; В продаже с 16.09.2024

Условия доставки и оплаты

Способы доставки: почтой по предоплате

Способы оплаты: банковской картой

Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.

Цена
1700 руб


 Искать похожие 
> только название
> автор и название
 Добавить объявление
>продаю
> хочу купить



назад листать дальше
Первая помощь
>Впервые здесь?
>Как купить
>Как продать
>Зачем регистрироваться
>Платные услуги
еще ...
Поиск на LibeX
 
Название Автор 
расширенный поиск
Поиск на FindBook
findbook лого
 
Название Автор 
 Вход
 Имя:
 Пароль: 
 Запомнить пароль
регистрация
напомнить пароль





 
Индекс цитирования Яndex counter liveinternet.ru