отношение частичного порядка
21РЕГУЛЯРНАЯ ПОЛУГРУППА — полугруппа, каждый элемент к рой регулярен. Произвольная Р. п. Sсодержит идемпотенты (см. Регулярный элемент), и строение Sв значительной степени определяется строением и расположением в Sмножества всех ее идемпотентов Е(S). Р. п. с единственным… …
22ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …
23Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …
24логика отношений — ЛОГИКА ОТНОШЕНИЙ раздел современной логики, в котором рассматриваются отношения между объектами определенной предметной области (областей). Хотя Л. о. частный случай логики предикатов, а именно многочленных, или многоместных (и местных, и …
25МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …
26Непрерывность по Скотту — в математике свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка. Топология Скотта структура над полной решёткой или, в более общем случае, над полным… …
27Подмножество — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …
28ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …
29НОРМИРОВАНИЕ — логарифмическое нормирование, оценка поля, отображение поля Кв где Г линейно упорядоченная абелева группа, а присоединяемый элемент считается больше любого элемента из группы и для любого . При этом Н. должно удовлетворять следующим условиям:… …
30ИДЕМПОТЕНТ — идемпогентный элемен т, элемент екольца, полугруппы или группоида, равный своему квадрату: е 2=е. Говорят, что И. есодержит И. f (обозначается ), если ef=e=fe. Для ассоциативных колец и полугрупп отношение является отношением частичного порядка в …
