𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Чень Ч., Ли Р.

Book ID
127418331
Year
1983
Tongue
Russian
Weight
4 MB
Category
Library

No coin nor oath required. For personal study only.

✦ Synopsis

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

✦ Subjects

Математическая логика

📜 SIMILAR VOLUMES

Новые математические развлечения: еще бо
Новые математические развлечения: еще больше головоломок, задач, игр и других математических развлечений от Мартина Гарднера по материалам Scientific American, а также постскриптум и более ста рисунков
📂 Standards 📅 2009 🏛 АСТ, Астрель 🌐 Russian ⚖ 255 KB

Настоящее издание представляет собой авторизованный перевод оригинального английского издания «New Mathematical Diversions (Martin Gardner)», впервые опубликованного в 1995 г. Математической ассоциацией Америки: The Mathematical Associations of America (Incorporated). Любители математических голов

Математическое моделирование рабочего пр
Математическое моделирование рабочего процесса жидкостных ракетных двигателей: Учеб. для студентов вузов, обучающихся по направлению ''Авиа- и ракетостроение'' и специальности ''Ракетные двигатели''
✍ Беляев Е.Н., Чванов В.К., Черваков В.В. 📂 Library 📅 1999 🏛 Изд-во МАИ 🌐 Russian ⚖ 3 MB

Работа посвящена малоизученной проблеме - созданию эффективных долговременных систем жизнеобеспечения человека, основанных на осуществлении в условиях космического полета

Теория вероятностей и математическая ста
Теория вероятностей и математическая статистика: учеб. для студентов высш. пед. учеб. заведений, обучающихся по направлению ''Естественнонауч. образование'' и специальностям ''Математика'', ''Физика'', ''Химия'', ''Биология'' и ''География''
✍ Баврин И.И. 📂 Library 📅 2005 🏛 Высш. шк 🌐 Russian ⚖ 2 MB

Изложены основы теории вероятностей и математической статистики в приложении к физике, химии, биологии, географии, экологии, приведены упражнения для самостоятельной работы Все основные понятия и положения иллюстрируются разобранными примерами и задачами