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

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

Аннотация

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

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

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

Формат: djvu


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

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

Наука

Город:

Москва

Год издания:

1983

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

8348

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

3530

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

212

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

3.29 MB

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

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

 

 

 

 

 

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

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

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