А
Автоматизированное построение математических теорий
А. А. Люксембург
★★★★★
оценок пока нет
- Автор
- А. А. Люксембург
- Издательство
- Едиториал УРСС
- Год издания
- 2005
- Страниц
- 32
- ISBN
- 5354010055
Оцените книгу:
Аннотация
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают мат
Отзывы читателей
Отзывов пока нет — станьте первым.