Результаты поиска

Одно из центральных понятий в [[теория порядков|теории порядков]]; играет важную роль в [[Общая алгебра|общей алгебре]], в частности, особо * [[скачок (теория порядков)|скачок]] ― в нижнем классе имеется наибольший элемент, а в верхнем ― наиме ...

[[Категория:Теория порядков]] ...

'''Сечение''' в [[Теория доказательств|теории доказательств]] — [[правило вывода]], позволяющее удал ...установлено для большой серии классических и неклассических теорий высших порядков. ...

[[Категория:Теория порядков]] ...

...й]]{{sfn|Теория доказательств|с=29|1978}}. Играет фундаментальную роль в [[теория доказательств|теории доказательств]] и важную методологическую роль в [[мат ...tz}}, вскоре найдены доказательства для серии неклассических теорий высших порядков ([[Драгалин, Альберт Григорьевич|Драгалин]]) и развитых теорий типов ({{iw| ...

...математике]] ([[Имитационное моделирование|имитационном моделировании]], [[Теория автоматов|теории автоматов]]). [[Категория:Теория порядков]] ...

* возможности эффективного [[Теория приближений|приближения]] функции полиномами ([[неравенство Джексона — Стеч === Модули непрерывности высших порядков === ...

...тка (теория множеств)|теории решёток]], [[теория графов|теории графов]], [[теория автоматов|теории автоматов]]. [[Категория:Теория порядков]] ...

[[Категория:Теория порядков]] ...

...являющееся одновременно верхней и нижней полурешёткой, является [[Решётка (теория множеств)|решёткой]]. то алгебра <math>\langle V, \vee, \wedge \rangle</math> является [[Решётка (теория множеств)|решёткой]]. В таком контексте <math>\langle V, \vee \rangle</math ...

'''Логисти́ческое распределе́ние''' в [[Теория вероятностей|теории вероятностей]] и [[Математическая статистика|математиче === Моменты высших порядков === ...

...ика первого порядка|логике первого]] или [[Логика высшего порядка|высших]] порядков '''литералом''' называют либо [[атомарная формула|атомарную формулу]], (лог [[Категория:Теория дискретных функций]] ...

...'' со множеством [[Вершина (теория графов)|вершин]] и ''V'' и множеством [[Теория графов|рёбер]] ''E'' — это [[частично упорядоченное множество]] [[Антицепь| ...ение которых даёт данное частично упорядоченное множество. Такое множество порядков называется реализатором частично упорядоченного множества. Теорема Шнайдера ...

Нильпотентные группы встречаются в [[Теория Галуа|теории Галуа]], а также в работах по классификации групп. Они, кроме * В любой нильпотентной группе элементы конечных порядков образуют подгруппу, [[факторгруппа]] по которой не имеет [[кручение группы| ...

{{Якорь|Ограниченность (теория порядков)}}Обобщения числовой ограниченности на более общие категории пространств мо [[Категория:Теория порядков]] ...

.../math> группы <math>G</math> тогда и только является пересечением линейных порядков, когда из <math>a\notin P</math> следует, что для каждого конечного множест Частичный порядок абелевой группы является пересечением линейных порядков тогда и только тогда, когда <math>\leqslant</math> изолирован, то есть из < ...

...чисел]] ведёт к противоречиям и, следовательно, противоречивой является [[теория множеств]], в которой построение такого множества возможно. ...97 году]] и оказался одним из первых парадоксов, показавших, что [[наивная теория множеств]] [[Противоречивость теории|противоречива]], а следовательно, непр ...

== Теория порядков == ...

'''Теорема Кнастера — Тарского''' (''теорема Тарского'') — [[теорема]] в [[теория решёток|теории решёток]], впервые сформулированная в частном случае [[Кнаст ...также для любых [[полное частично упорядоченное множество|полных частичных порядков]]. ...

'''Порядок элемента''' в [[Теория групп|теории групп]] — наименьшее положительное [[Целое число|целое]] <math Изучение порядков элементов группы может дать сведения о её структуре. Несколько глубоких воп ...