УЧЕБНИКИ
ДЛЯ ВУЗОВ

   
Те, которые любят учиться, никогда не бывают праздными.
Монтескье

Учебники для вузов: Новинки



Для связи: info@vuz-uchebniki.ru




высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов


А. А. Люксембург

Автоматизированное построение математических теорий




   
Едиториал УРСС, 2005
Страниц: 32
Формат: 60x90/16
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков.






Студенту на заметку:
Как удвоить собственную продуктивность0°
Здравствуйте, дорогие друзья! Сегодня я заметил, что давно не делился с Вами интересными книгами. Именно Pсейчас я и займусь исправлением данной ошибки. Итак, представляюЧитать дальше... Copyright Y 2011, Студент отличник. Блог успешного студента. Все права защищены. | Постоянная ссылка | Хотите узнать больше? Посмотреть все записи в категории Полезные книги.


UMSolver 0универсальная программа-решебник
Здравствуйте! Дорогие друзья, все мы во время учебы встречаемся с разнообразными уравнениями, задачами или примерами. Специально поэтому сегодня я предлагаю Вашему вниманию новую и Читать дальше... Copyright Y 2011, Студент отличник. Блог успешного студента. Все права защищены. | Постоянная ссылка | Хотите узнать больше? Посмотреть все записи в категории Файлы.