 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
А. А. Люксембург
Автоматизированное построение математических теорий
Едиториал УРСС, 2005 Страниц: 32 Формат: 60x90/16 Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков. Категории каталога: Прикладная математика и кибернетика |
|
Студенту на заметку:
Что такое дипломы на заказ?
Диплом на заказ 0это качественная работа, выполненная опытным преподавателем или специалистом, имеющим практический опыт в выбранной Вами тематике. Приобретая диплом на заказ в нашей компании, Вы получаете не только саму работу, но и квалифицированную помощь в подготовке к ее защите перед комиссией, а значит отличная итоговая оценка, достойная того, чтобы украсить Ваш итоговый документ [...]
Студенческое самоуправление: к молодежной политике один шаг?! Часть 4в
Здравствуйте! Сегодня я решил поделиться с Вами второй частью статьи Студенческое самоуправление: к молодежной политике один шаг?! Очень важная, непосредственная связь студенческого самоуправленияЧитать дальше... Copyright Y 2011, Студент отличник. Блог успешного студента. Все права защищены. | Постоянная ссылка | Хотите узнать больше? Посмотреть все записи в категории Новости студенческой жизни.
|
