Поиск
На сайте: 567989 статей, 285490 фото.

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

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

Автор: А. А. Люксембург
Оригинал издан: 2005
Серия: Relata Refero
Издательство: Едиториал УРСС Эдиториал УРСС
Выпуск: 14 ноября 2005 г.
Страниц: 32

«Автоматизированное построение математических теорий»книга 2005 года.

Содержание

Содержание

От издателя

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

Рецензии

См. также

Ссылки