Понятия со словом «неразложимо»
Связанные понятия
Ноэзис (ноэсис) (греч. νόησις — «мышление»; прил. «ноэтический») — в феноменологии Э. Гуссерля понятие, означающее реальное содержание переживания сознания, то есть собственно само переживание, взятое как таковое — вне сопряженности с трансцендентной ему реальностью. Ноэзис противопоставляется ноэме, являющейся его интенциональным коррелятом.
Дискре́тность (от лат. discretus — разделённый, прерывистый) — свойство, противопоставляемое непрерывности, прерывность. Дискретность — всеобщее свойство материи, под дискретностью понимают...
Определяющий предикат представляет собой единство собственного предиката с выражением сущности предмета, фиксируемого родовым предикатом. Таким образом, определяющий предикат - это «комплексный» дефиниционный предикат, представленный в своём полном наборе признаков структурным компонентом (отношением тождества, включения и аддиции) и комплексным семантическим компонентом (родовой (классной) семантикой и семантикой дистинкции).
Цикли́ческие подкла́ссы — подмножества неразложимого периодического класса цепи Маркова такие, что цепь проходит их один за другим по порядку.
Подробнее: Циклический подкласс
Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...
Дистинкция (от лат. distinctio «различение») — фигура речи (троп; стилистическая фигура протяжённости), через которую обозначается акт познания, отражающий объективное различие между реальными предметами и элементами сознания («У кого нет в жизни ничего милее жизни, тот не в силах вести достойный образ жизни»).
Интеллиги́бельность (от лат. intelligibilis — понятный, чёткий, постижимый умом) — философский термин, обозначающий познание, а более точно, постижение, доступное исключительно уму или интеллектуальной интуиции. Понятие интеллигибельность в некоторых системах идеалистической философии обозначает сверхприродные, сверхчувственные предметы, сущности.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Трансценде́нтное число́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.
Феноменологическая редукция — одно из центральных понятий феноменологии Гуссерля, связанное с процессом освобождения сознания от натуралистической установки. Истоки этой практики можно обнаружить в радикальном сомнении Декарта. Феноменологическая редукция дословно означает редукцию вещей к феноменам и вынесение за скобки обсуждения их реального статуса. Этот переход от естественной установки к трансцендентально-феноменологической Гуссерль называет «коперниканским переворотом».
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Степень трансцендентности расширения поля в общей алгебре — это величина, которая даёт грубую оценку «масштаба» расширения. Другими словами, чем больше степень трансцендентности, тем больше расширенное поле содержит трансцендентных (то есть, неалгебраических по отношению к исходному полю) элементов.
Но́эма (греч. νόημα — «мысль»; прил. «ноэматический») — мысленное представление о предмете, или, другими словами, предметное содержание мысли; представленность предмета в сознании. Понятие феноменологии Э. Гуссерля, означающее содержание переживания сознания, когда мы рассматриваем последнее как сопряженное с чем-то трансцендентным самому реальному составу переживания, то есть ноэзису.
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.
Подробнее: Естественное преобразование
Иммане́нтность (лат. immanens, род.п. immanentis «пребывающий внутри») — философская категория, обозначающая неотъемлемость, внутреннюю связь в противоположность внешней.
Антите́зис (др.-греч. ἀντίθεσις «анти́тесис» — противоположение; лат. antithesis «антите́зис») — суждение, противопоставляемое тезису.
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ. Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика.
Подпростра́нство — понятие, используемое (непосредственно или в словосочетаниях) в различных разделах математики.
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Эквифокальная гиперповерхность (или гиперповерхность Дюпена) — гиперповерхность в пространственной форме, у которой значение главных кривизн и их кратности одинаковы во всех точках.
Семе́ма, или семанте́ма (от греч. σημαίνω — «обозначаю»; термин образован по аналогии с терминами фонема, морфема), — единица плана содержания языка, соотносимая с морфемой (минимальной единицей плана выражения) как совокупность компонентов её содержания (сем). Тем самым семема является минимальной единицей системы содержания, соотносимой с элементом системы выражения (семе это свойство не присуще).
В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов...
Подробнее: Литерал (математическая логика)
Норма́льное простра́нство — топологическое пространство, удовлетворяющее аксиомам отделимости T1, T4, то есть такое топологическое пространство, в котором одноточечные множества замкнуты и любые два непересекающихся замкнутых множества отделимы окрестностями (то есть содержатся в непересекающихся открытых множествах).
Кодекартов квадрат (также — универсальный квадрат) — теоретико-категорное понятие, двойственное понятию декартова квадрата. Кодекартов квадрат является частным случаем копредела.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение.
Феноменали́зм — философское учение о том, что мы познаем не сущность вещей, «вещи в себе», а лишь явления.
Абстра́ктный объе́кт — объект, созданный какой-либо абстракцией или при посредстве какой-либо абстракции; когнитивно представленный объект познания, репрезентирующий те или иные сущностные аспекты, свойства, отношения вещей и явлений окружающего мира. Абстрактные объекты делятся на реальные и идеальные, различающиеся постановкой и решением проблемы существования. Для реальных имеется её конструктивное решение; идеальные же выходят за пределы эффективной проверки (например, континуум). В философии...
Экстенсиона́л (от лат. extentio — протяжение, пространство, распространение) — термин семантики, обозначающий объём понятия, то есть множество объектов, способных именоваться данной языковой единицей (категорией). Например, в экстенсионал (категория) понятия «человек» входят все объекты, обладающие свойством «быть человеком» (Сократ — это человек, философ — это человек, мыслящее существо — это человек и т.п.).
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
В математике, симметрической алгеброй S(V) (также обозначается Sym(V)) векторного пространства V над полем K называется свободная коммутативная ассоциативная K-алгебра с единицей, содержащая V.
Подробнее: Симметрическая алгебра
То́чка — абстрактный объект в пространстве, не имеющий никаких измеримых характеристик (нульмерный объект). Точка является одним из фундаментальных понятий в математике.
Полунорма или преднорма — обобщение понятия норма; в отличие от последней, полунорма может равняться нулю на ненулевых элементах пространства.
Ка́жимость (видимость) — философская (логическая) категория, означающая превратное определение истинного бытия, основанное на чувственно-воспринимаемом, внешнем явлении предмета познания.
Интенциона́льность (от лат. intentio «намерение») — понятие в философии, означающее центральное свойство человеческого сознания: быть направленным на некоторый предмет.
В теории категорий моноидальные функторы — это функторы между моноидальными категориями, сохраняюющие моноидальную структуру, то есть умножение и тождественный элемент.
Подробнее: Моноидальный функтор
Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.
Проективная группа — группа преобразований проективного пространства, индуцируемых линейными преобразованиями соответствующего векторного пространства. Её элементы называются проективными преобразованиями — они обобщают проективные преобразования проективной плоскости. С матричной точки зрения проективная группа — это группа всех невырожденных матриц с точностью до скалярных матриц.
Топологическая семантика является естественной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Исторически топологическая семантика появилась раньше более распространенной на данной момент семантики Крипке. Основы топологической семантики были заложены в работах Куратовского.
Область целостности (или целостное кольцо, или область цельности или просто область) — понятие коммутативной алгебры: ассоциативное коммутативное кольцо с единицей (нейтральным элементом относительно умножения) и без делителей нуля (произведение никакой пары ненулевых элементов не равно 0).
В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.
Изотропность пространства означает, что в пространстве нет какого-то выделенного направления, относительно которого существует «особая» симметрия, все направления равноправны.
Логика высказываний, или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Униве́рсум (лат. universum, «совокупность, общность» или лат. summa rerum «совокупность всего», «мир как целое», «всё сущее») — в философии — совокупность объектов и явлений в целом, рассматриваемая в качестве единой системы, то есть объективная реальность во времени и пространстве. В общем смысле тождествен термину «Вселенная».
В теории категорий функторы между двумя зафиксированными категориями образуют категорию, морфизмы в которой — естественные преобразования.
Подробнее: Категория функторов
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.