- эквивалентность мощности
- мат. cardinality equivalence
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЭКВИВАЛЕНТНОСТЬ — (от позднелат. aequivalens равноценный, равнозначный), отношение типа равенства, общее назв. для рефлексивных, симметричных и транзитивных отношений, таких, напр., как равночис ленность, подобие, изоморфизм (см. Изоморфизм и гомоморфизм)… … Философская энциклопедия
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма Сколема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
Теорема Лёвенгейма — Теорема Лёвенгейма Скулема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Энергия — У этого термина существуют и другие значения, см. Энергия (значения). Энергия , Размерность … Википедия
Множеств теория — учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… … Большая советская энциклопедия
КАНТОР — (Cantor) Георг (1845 1918) немецкий математик, логик, теолог, создатель теории трансфинитных (бесконечных) множеств, оказавшей определяющее влияние на развитие математических наук на рубеже 19 20 вв. Окончил Университет Берлина (1867), профессор… … История Философии: Энциклопедия
КАНТОР Георг (1845-1918) — немецкий математик, логик, теолог, создатель теории трансфинитных (бесконечных) множеств, оказавшей определяющее влияние на развитие математических наук на рубеже 19 20 вв. Окончил Университет Берлина (1867), профессор Университета Халле (1879… … История Философии: Энциклопедия