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

Автор: Почемучка от 1-04-2018, 12:08, Коментариев: 0

Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА


Название: Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Издательство: Наука
Год: 1983
Формат: PDF
Качество: Отсканированные страницы
Страниц: 360
Размер: 55.6 MB
Язык: Русский

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

Скачать Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем [1983, PDF]




ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!


Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.