Понятия со словом «явная»
Явное предначертание (англ. Manifest Destiny) — крылатое выражение, которое используется для оправдания американского экспансионизма.
Явное знание — вид знания, которое легко формализуется и систематизируется, то есть легко передаётся. Оно не требует постоянных тренировок для его получения, как, например, неявное знание. Человек может самостоятельно ему научиться, пользуясь ясными и чётко сформулированными правилами данного знания. К явным знаниям относятся, например, многие науки, такие как математика, физика, история и лингвистика.
Явное назначение типов, или явная типизация — в программировании вид типизации, при котором в момент объявления переменной требуется явно указать ее тип. Противоположность явной типизации — неявная типизация, при которой эта задача перекладывается на транслятор языка. Например, если переменной X нужно присвоить целое число, для данной переменной нужно непосредственно при объявлении указать целочисленный тип.
Связанные понятия
Вражде́бность — комплекс аффектов, который включает в себя следующие эмоции: гнев, обиду и отвращение.
Уравнитель (также ядро разности) в теории категорий — обобщение понятия решения некоторого (алгебраического, дифференциального и т. п.) уравнения, то есть множества, на котором данные отображения совпадают.
Микровыраже́ние — короткое непроизвольное выражение лица, появляющееся на лице человека, пытающегося скрыть или подавить эмоцию. Микровыражения не поддаются сознательному контролю, то есть появляются независимо от желания человека.
Гармоническая волна — волна, при которой каждая точка колеблющейся среды или поле в каждой точке пространства совершает гармонические колебания.
Принцип «космической цензуры» был сформулирован в 1970 году Роджером Пенроузом в следующей образной форме: «Природа питает отвращение к голой сингулярности». Он гласит, что сингулярности пространства-времени появляются в таких местах, которые, подобно внутренним областям чёрных дыр, скрыты от наблюдателей. Близким, хотя и отличным от этого понятием является топологическая цензура.
Коуравнитель — теоретико-категорное обобщение понятия фактора по отношению эквивалентности. Это понятие двойственно к понятию уравнителя, отсюда и название.
Сомнение — психическое состояние или состояние ума, в котором возникает воздержание от окончательно определённого суждения, или/и раздвоения (троения и т. п.) его становления, из-за неспособности сознания сделать дискретный однозначный вывод. Если ум не может обнаружить причин, аргументов, которые бы позволили ему прийти к однозначному решению относительно правильности или ошибочности своего мнения, тогда сомнение является отрицательным (то есть фактически блокирование дальнейшего анализа и выводов...
Признак сравнения — утверждение об одновременности расходимости или сходимости двух рядов, основанный на сравнении членов этих рядов.
Тьюрмиты по своей вычислительной способности эквивалентны обычной одномерной машине Тьюринга.
Изъян персонажа (англ. «character flaw») — литературоведческое понятие, под которым подразумевается ограничение, несовершенство, проблема, фобия или недостаток, присутствующие в характере литературного персонажа, который во всех других отношениях может даже вызывать зависть. Этот изъян может напрямую влиять на поведение или способности персонажа — к примерам такого относится, например, склонность персонажа к насилию. Однако это может быть и просто малозначительная черта, влияние которой на характер...
Доминирование по риску и доминирование по выигрышу — две взаимосвязанных концепции решения в теории некооперативных игр, являющихся рафинирование равновесия Нэша. Введены Дж. Харшаньи и Р. Зелтеном.
Теорема унитарности — утверждение о свойствах представлений конечных групп. Играет важную роль при применении методов теории групп в физике.
Эквивале́нтность катего́рий в теории категорий — отношение между категориями, показывающее, что две категории «по существу одинаковы». Установление эквивалентности свидетельствует о глубокой связи соответствующих математических концепций и позволяет «переносить» теоремы с одних структур на другие.
Матрица мер конвергенции — матрица содержащая в качестве элементов меры сходства объектов. Матрица отражает попарное сходство объектов. Сходство является показателем, измеренном в порядковой шкале и, следовательно, возможно лишь определение отношений вида: «больше», «меньше» или «равно».
Задача Бёрнсайда — серия задач в теории групп вокруг вопроса о возможности определить конечность группы исходя лишь из свойств её элементов: должна ли быть конечно порождённая группа, в которой каждый элемент имеет конечный порядок, обязательно конечной.
Принцип максимума энтропии утверждает, что наиболее характерными распределениями вероятностей состояний неопределенной среды являются такие распределения, которые максимизируют выбранную меру неопределенности при заданной информации о «поведении» среды. Впервые подобный подход использовал Д.Гиббс для нахождения экстремальных функций распределений физических ансамблей частиц. Впоследствии Э.Джейнсом был предложен формализм восстановления неизвестных законов распределения случайных величин при наличии...
Неконструктивное доказательство (неэффективное доказательство) — класс математических доказательств, доказывающих лишь существование в заданном (как правило, бесконечном) множестве элемента, удовлетворяющего заданным свойствам, но не дающее никакой информации о других свойствах элемента, то есть не позволяющие ни предъявить его, ни приблизительно описать. Доказательства, которые доказывают существование элемента, предъявляя способ получения этого элемента, называются конструктивными.
Математическая формула (от лат. formula — уменьшительное от forma — образ, вид) — в математике, а также физике и прикладных науках, символическая запись высказывания (которое выражает логическое суждение), либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка.
В функциональном анализе и связанных областях математики стереотипные пространства представляют собой класс топологических векторных пространств, выделяемый неким специальным условием рефлексивности. Этот класс обладает серией замечательных свойств, в частности, он весьма широк (например, содержит все пространства Фреше, и поэтому все банаховы пространства), он состоит из пространств, подчиненных определенному условию полноты, и образует замкнутую моноидальную категорию со стандартными аналитическими...
Подробнее: Стереотипное пространство
Двойственность в теории категорий — соотношение между свойствами категории C и так называемыми двойственными свойствами двойственной категории Cop. Взяв утверждение, касающееся категории C и поменяв местами образ и прообраз каждого морфизма, так же как и порядок применения морфизмов, получим двойственное утверждение, касающееся категории Cop. Принцип двойственности состоит в том, что истинные утверждения после такой операции переходят в истинные, а ложные в ложные.
Сглаживающие операторы — это гладкие функции со специальными свойствами, используемые в теории распределений для построения последовательности гладких функций, приближающей негладкую (обобщённую) функцию с помощью свёртки. Интуитивно, имея функцию с особенностями и осуществляя её свёртку со сглаживающей функцией, получаем «сглаженную функцию», в которой особенности исходной функции сглажены, хотя функция остаётся близкой к исходной функции. Операторы известны также как сглаживающие операторы Фридрихса...
Подробнее: Сглаживающий оператор
Предположение о замкнутости мира (англ. CWA, closed world assumption) — стратегия, при которой положительный литерал, который не является следствием формул в некоторой базе знаний, считается ложным. Данное предположение позволяет упростить систему замещением неоднозначности (есть — нет — неизвестно) дуализмом (есть — нет). Широко используется в компьютерных системах, в том числе в СУБД.
Отношение предпочтения в теории потребления — это формальное описание способности потребителя сравнивать (упорядочивать по желательности) разные наборы товаров (потребительские наборы, альтернативы). Чтобы описать отношение предпочтения, не обязательно измерять желательность каждого потребительского набора в некоторых единицах измерения, следует только подать любой метод сравнения таких наборов (порядковый подход). Отношение предпочтения является, наряду с бюджетным ограничением, базовым понятием...
Сильное равновесие — принцип оптимальности в теории игр, очищение равновесия Нэша. Кроме устойчивости ситуации в игре к индивидуальным отклонениям участников, требует также устойчивости к групповым отклонениям.
Ме́тоды Ру́нге — Ку́тты (в литературе встречаются названия: ме́тоды Ру́нге — Ку́тта или же ме́тоды Ру́нге — Кутта́) — большой класс численных методов решения задачи Коши для обыкновенных дифференциальных уравнений и их систем. Первые методы данного класса были предложены около 1900 года немецкими математиками К. Рунге и М. В. Куттой.
Ве́кторная величина́ — физическая величина, являющаяся вектором (тензором ранга 1). Противопоставляется с одной стороны скалярным (тензорам ранга 0), с другой — тензорным величинам (строго говоря — тензорам ранга 2 и более). Также может противопоставляться тем или иным объектам совершенно другой математической природы.
В математической логике, Эрбранова интерпретация — это интерпретация, в которой константам и функциональным символам присвоен очень простой смысл. Конкретнее, каждая константа интерпретируется как она сама, функциональный символ же интерпретируется как функция, которая применяется. Интерпретация также определяет предикатные символы как задающие подмножество соответствующей Эрбрановой базы, фактически задавая, каким образом вычисляется значение замкнутых формул. Это позволяет интерпретировать символы...
В социальной психологии множественное невежество — ситуация, в которой большинство членов группы отвергают какую-либо норму, не высказывая это открыто, но некорректно полагают, что большинство остальных членов группы её поддерживают, и, соответственно, поддерживают её тоже. Это также описывается выражением: «никто не верит, но все думают, что все верят». Вкратце, множественное невежество — это заблуждение относительно социальной группы, поддерживаемое социальной группой.
Подробнее: Феномен множественного невежества
Иерархия вер (англ. belief hierarchy) — объект эпистемической теории игр, позволяющий определить категорию, рациональности и общей веры в рациональность. Под верой понимается вероятностное распределение на неком пространстве неопределённости — например, на множестве стратегий другого игрока (однако элементы пространства могут иметь и экзогенную природу). Концепция иерархии вер введена Мертенсом и Замиром. Иерархию вер можно задать напрямую, либо с помощью дополнительной структуры — типов игроков...
Демпстера-Шафера теория — математическая теория очевидностей (свидетельств) (), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части информации (свидетельства) для вычисления вероятности события. Теория была развита Артуром П. Демпстером и Гленном Шафером.
Влюблённость — сильное положительно окрашенное чувство (комплекс чувств), направленное на другого человека. По мнению психологов, влюблённость сопровождается сужением сознания, следствием чего может быть искажённая оценка объекта влюблённости. Влюблённый закрывает глаза на недостатки любимого человека и на противоречия, возникающие в отношениях с ним, в то время как его положительные качества и позитивный опыт взаимодействия приобретают особенную ценность. Несмотря на положительную окраску самого...
Пра́вильная ско́бочная после́довательность (ПСП) — символьная последовательность, составленная в алфавите, состоящем из символов, сгруппированных в упорядоченные пары (типы скобок, графически обозначаемые «(» и «)», «», «/*» и «*/» и т. п.), удовлетворяющая определённым правилам, обеспечивающим последовательную вложенность подпоследовательностей, обрамлённых открытой и закрытой скобкой одного типа.
Акце́нт — выделение громкостью (или другим образом) определённой ноты или доли в такте.
Категория называется полной в малом, если в ней любая малая диаграмма имеет предел. Двойственное понятие — кополная в малом категория, то есть та, в которой любая малая диаграмма имеет копредел. Аналогично определяется конечная полнота и вообще α-полнота для любого регулярного кардинала α. Из них всех наиболее употребимой является полнота в малом, поэтому категории, полные в малом, называют просто полными. Существование пределов вообще всех (не обязательно малых) диаграмм оказывается слишком сильным...
Мизантрóпия (от др.-греч. μῖσος «ненависть» + ἄνθρωπος «человек»; букв. «человеконенавистничество») — отчуждение от людей, ненависть к ним; нелюдимость. Некоторыми исследователями рассматривается как патологическое психофизиологическое свойство личности.
Подробнее: Мизантропия
Иллюзорная корреляция (англ. illusory correlation) — когнитивное искажение преувеличенно тесной связи между переменными, которая в реальности или не существует, или значительно меньше, чем предполагается. Типичным примером могут служить приписывание группе этнического меньшинства отрицательных качеств. Иллюзорная корреляция считается одним из способов формирования стереотипов.
Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Теорема об уголках — доказанный результат в области аддитивной комбинаторики, утверждающий присутствие некой упорядоченной (в арифметическом смысле) структуры, называемой уголком, в достаточно больших двумерных множествах любой фиксированной плотности.
В физике
принцип локальности/близкодействия утверждает, что на объект влияет только его непосредственное окружение. Квантовая механика предсказывает посредством неравенств Белла прямое нарушение этого принципа. Эксперименты Белла показали, что квантово запутанные частицы нарушают этот принцип. Было показано, что они влияют друг на друга, будучи физически удаленными друг от друга на значительные расстояния, тем самым подтверждая, что принцип локальности/близкодействия неверен.
Параллелогра́мм сил — геометрическое построение, выражающее закон сложения сил. Правило параллелограмма сил заключено в том, что вектор равнодействующей силы есть диагональ параллелограмма, построенного на векторах двух слагаемых сил, как на сторонах. Это выполняется оттого, что вектор равнодействующей силы есть сумма векторов складываемых сил, а сумма двух векторов есть диагональ параллелограмма, построенного на этих векторах.
Логика Хоара (англ. Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями. Первоначальная идея была предложена в работе Флойда, который опубликовал похожую систему в применении к блок-схемам (англ. flowchart).
Гравитация с массивным гравитоном — название класса теорий гравитации, в которых частица-переносчик взаимодействия (гравитон) предполагается массивной, примером является релятивистская теория гравитации. Характерная особенность таких теорий — проблема разрыва ван Дама — Вельтмана — Захарова (англ. vDVZ (van Dam-Veltman-Zakharov) discontinuity), то есть наличие конечной разности в предсказаниях предела такой теории при массе гравитона, стремящейся к нулю, и теории с безмассовой частицей с самого начала...
Предельный цикл — это один из возможных вариантов стационарного состояния системы в теории динамических систем и дифференциальных уравнений; предельным циклом векторного поля на фазовой плоскости или, более обобщённо, на каком-либо двумерном многообразии называется замкнутая (периодическая) траектория этого векторного поля, в окрестности которой нет других периодических траекторий. Эквивалентным является утверждение, что всякая достаточно близкая к предельному циклу траектория стремится к нему либо...
Аритми́я (от др.-греч. ἀρρυθμία — «неритмичность, нарушение ритма») — один из существенных приёмов организации художественного произведения, при котором происходит намеренный или случайный отказ от регулярных повторяющихся форм, а также совершается осознанный или подсознательный выбор в пользу демонстрации асимметрии во времени или пространстве.
Парадокс интересных чисел — полуюмористический парадокс, который возникает из-за попыток классифицировать натуральные числа как «интересные» и «скучные». Согласно этому парадоксу, все натуральные числа являются интересными. Доказательство этого утверждения осуществляется методом «от противного»: если существует непустое множество неинтересных натуральных чисел, то в этом множестве существует наименьшее число, но наименьшее неинтересное число уже само по себе интересно — что и создаёт противоречие...