Математическая энциклопедия - подформульности свойство
Связанные словари
Подформульности свойство
свойство нек-рых логических исчислений и логико-математических исчислений, заключающееся в том, что посылки каждого правила исчисления состоят из подформул заключения. П. с. позволяет организовать поиск вывода "снизу вверх" (см. Генцена формальная система). С целью повышения эффективности такого поиска для многих исчислений рассматриваются различные специализации и обобщения П. с. С. Ю. Маслов.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Вопрос-ответ:
Что такое подформульности свойство
Значение слова подформульности свойство
Что означает подформульности свойство
Толкование слова подформульности свойство
Определение термина подформульности свойство
podformulnosti svoystvo это
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):