Математическая логика и автоматическое доказательство теорем
Название: Математическая логика и автоматическое доказательство теорем
Автор: Чень Ч., Ли Р.
Издательство: Наука
Год: 1973
Формат: djvu
Размер: 8,6 mb (+3%)
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ. В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Скачать с Hotfile.com
Скачать с Ifolder.ru
Скачать с Depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12777 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Расчет переходных процессов в линейных электрических цепях
Автор: Е. КонстатиноваНазвание: Расчет переходных процессов в линейных электрических цепяхИздательство: ДВГУПСГод: 2006Формат: pdf Размер: 5.6 MibПрактикум соответствует ГОС ВПО направления 140200 «Эл . . .
-
Оптимизация технологии глубинного шлифования
Автор:Силин С.С.Название: Оптимизация технологии глубинного шлифованияИздательство: МашиностроениеГод: 1989Формат: PDFРазмер: 57 MbРассмотрены технологические средства повышения стойкости абразивного . . .
-
L'Enfer Entre Ciel et Terre (Le Fana De L'Aviation Hors-Serie 46)
Название: L'Enfer Entre Ciel et TerreАвтор: КоллективИздательство / Серия: Le Fana De L'aviation - Horse Serie 46Год / месяц: 2000 OctobreСтраниц: 132Язык: FranceФормат: PDFРазмер: 100 МВФранцузский ж . . .
-
Judo: Les techniques oubliées.
Название: Judo: Les techniques oubliées Автор: Loïc Blanchetête Издательство: Budo Editions ISBN: 2846170088 Год издания: 2003 Страниц: 216 Язык: Французский Формат: pdf Качество: хор . . .
-
Мой дом. Коммуникации. Инструменты.
Название: Мой дом. Коммуникации. Инструменты Автор: Ольга Русакович, Инна Задвинская Серия или выпуск: Мой дом. Выпуск 14 Издательство: Самиздат Год издания: 2011 Страниц: 48 Язык: Русский Формат: P . . .
-
Н. Ф. Каптерев. Собрание сочинений
Автор: Н. Ф. Каптерев Год издания: 2008 Формат: other Издат.: Даръ Страниц: 816 Размер: 16,36 Мб ISBN: 978-5-485-00182-7 Язык: Русский Н . . .
-
Forbes №10 (октябрь 2011)
Описание отсутствует . . .
-
Журнал Лена рукоделие. Спецвыпуск № 1 (ноябрь 2011) Идеи для валяния
Название: Лена рукоделие. Спецвыпуск Идеи для валяния Издательство: Эдипресс-Конлига Номер: 1 Месяц / Год: 11/2011 Страниц: 31 Формат: jpg Размер файла: . . .
-
Основания космологии
Название: Основания космологииАвтор: Турсунов А.Издательство: МысльГод: 1979Страниц: 237Формат: DjVuЯзык: РусскийРазмер: 7,58 МбКосмология - одна из наиболее фундаментальных и тесно связанных с филосо . . .
-
Русский язык. Тематические тесты: Подготовка к ЕГЭ. Учебное пособие для 10-11 кл.
Название: Русский язык. Тематические тесты: Подготовка к ЕГЭ. Учебное пособие для 10-11 кл.Автор: Сенина Н.А.Издательство: ЛегионГод: 2010Страниц: 288Формат: pdfРазмер: 10 mbISBN 978-5-9966-0032-8Пред . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и автоматическое доказательство теорем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.