Поиск
На сайте: 582172 статей, 290251 фото.

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

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

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

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

Содержание

Содержание

От издателя

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

Рецензии

См. также

Ссылки