- элиминационная теорема
- мат. elimination theorem
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЭЛИМИНАЦИОННАЯ ТЕОРЕМА — ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом … Философская энциклопедия
ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ — ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин “секвенция” происходит от… … Философская энциклопедия