• Мы снова онлайн. Но сайт нуждается в поддержке.
  • Вы можете поддержать нас криптовалютой ZEC: t1bkM72pLFRZyn5iPJkk2ccGv12Ly3CbyNY

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

Аннотация

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

Авторы:   Чень Ч.  Ли Р.

Категории:   Математика

Формат: djvu


К сожалению, у нас нет описания данной книги. Если у вас есть, то вы можете помочь проекту. Напишите в коментариях ваше описание книги и мы его обязательно добавим на сайт.

Издательство:

Наука

Город:

Москва

Год издания:

1983

Прочитано страниц:

9029

Распознаных страниц:

3530

Количество загрузок:

215

Размер файлов:

3.29 MB

Файлы для скачивания доступны в течении 4х часов после создания ссылок.

Не закрывайте это окно до окончания скачивания, иначе вам прийдется заново делать запрос на файлы.

 

 

 

 

 

Получить ссылку на файлы

Отзывы
    Warning! Нет данных для отображения
Написать собственный отзыв
Warning! Вы не можете просматривать данную страницу

Новинки сайта

Выполнено:

0.0825 секунд

Идея и разработка - Олег Гуняков

Яндекс.Метрика

Техническая библиотека t-library.net

Основано на БукТориум 2.0. Все права на серверную часть принадлежат разработчику. Материалы размещаются на сайте либо по согласию правообладателей, либо открыто доступные в интернете. Если какие либо материалы нарушают ваши авторские права - напишите нам, и мы разберемся в этом.

Быстрые ссылки