Информация о книге

5-354-01005-5

Главная  » Учебники и учебные пособия. Педагогика » Литература для ВУЗов и ССУЗов » Математика. Физика » Автоматизированное построение математических теорий

Люксембург А., Автоматизированное построение математических теорий


серия: Relata Refero
Едиториал УРСС, 2005 г., 32 стр., 5-354-01005-5


Описание книги

Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков.

Ключевые слова

Поделиться ссылкой на книгу




Об авторе


Последние поступления в рубрике "Математика. Физика"



Основы системного анализа. Учебное пособие для вузов Основы системного анализа. Учебное пособие для вузов Горохов А.А.

Учебное пособие содержит краткое изложение философии, теории, методологии и некоторых приложений системного анализа. Рассмотрены история появления и развития системных представлений, основные законы возникновения, строения, динамики и развития сложных......

Математика. Задачи с решениями в 2 ч. Часть 2. Учебное пособие для СПО Математика. Задачи с решениями в 2 ч. Часть 2. Учебное пособие для СПО Васильевич Б.

При решении задач по математике многие учащиеся нуждаются в помощи. Подобного рода консультации и рекомендации при разъяснении приемов решения задач можно получить в данной книге....

Математика. Учебник и практикум для СПО Математика. Учебник и практикум для СПО Семенович Ш.

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

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Люксембург А., Автоматизированное построение математических теорий в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.