Автоматизированное построение математических теорий (книга)
| Автоматизированное построение математических теорий | |
 | |
| Автор: | А. А. Люксембург |
|---|---|
| Оригинал издан: | 2005 |
| Серия: | Relata Refero |
| Издательство: | Едиториал УРСС Эдиториал УРСС |
| Выпуск: | 14 ноября 2005 г. |
| Страниц: | 32 |
«Автоматизированное построение математических теорий» — книга 2005 года.
Содержание |
Содержание 
От издателя
«Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
