Понятия со словом «рассмотренный»
Связанные понятия
В настоящее время отсутствует единое определение точно решаемой задачи для всех разделов математики. Это обусловлено особенностями самих задач и методов поиска их решения. Вместе с тем базовые теоремы, определяющие наличие и единственность решений, строятся на общих принципах, что будет показано ниже.
Подробнее: Точнорешаемая задача
Стоя́ть на решённом (лат. Stare decisis, латинское произношение: /ˈstaːreː deːˈtʃiːzɪs/) — правовой принцип, по которому судьи обязаны уважать прецеденты, созданные предшествующими решениями. Выражение взято из латинского изречения, формулирующего данный принцип, Stare decisis et non quieta movere: «стоять на решённом и не нарушать спокойствие». В правовом контексте это понимается таким образом, что суды должны, как правило, придерживаться прецедентов и не поднимать заново уже улаженные вопросы...
И́стинный смысл — правовая теория в интерпретации канадской конституции, используемая для определения, какому уровню власти принадлежит право издавать законы по конкретному вопросу. Теория применяется, главным образом, когда закон оспаривается на основании того, что один уровень власти (провинциальный или федеральный) нарушил пределы исключительных полномочий другого уровня власти.
Попра́вки к Конститу́ции Кана́ды — изменения Конституции Канады по инициативе правительства. Официальные правила внесения поправок к Конституции были приняты лишь в 1982 г.
Причинность по Грэнджеру (англ. Granger causality) — понятие, используемое в эконометрике (анализе временных рядов), формализующее понятие причинно-следственной связи между временными рядами. Причинность по Грэнджеру является необходимым, но не достаточным условием причинно-следственной связи.
Безопасность информационных потоков — набор требований и правил, направленных на определение того, какие информационные потоки в системе являются разрешёнными, а какие нет. Данная модель не является самостоятельной, и используется в дополнение к мандатной или дискреционной модели управления доступа.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Криптосистема Уильямса (Williams System) — система шифрования с открытым ключом, созданная Хью Коуи Уильямсом (Hugh Cowie Williams) в 1984 году.
Линеаризация (от лат. linearis — линейный) — один из методов приближённого представления замкнутых нелинейных систем, при котором исследование нелинейной системы заменяется анализом линейной системы, в некотором смысле эквивалентной исходной. Методы линеаризации имеют ограниченный характер, т. е. эквивалентность исходной нелинейной системы и её линейного приближения сохраняется лишь для ограниченных пространственных или временных масштабов системы, либо для определенных процессов, причём, если система...
Генерация столбцов или отложенная генерация столбцов — это эффективный подход к решению больших задач линейного программирования.
С момента патриации
Конституции Канады в 1982 было произведено лишь десять небольших поправок. Однако было и несколько неуда́вшихся прое́ктов попра́вок к Конститу́ции согласно новой процедуре внесения поправок.
Спектральная теория — общий термин в математике, под которым понимаются теории, расширяющие понятия собственной функции и собственного значения с квадратных матриц на более широкие классы линейных операторов в самых различных пространствах.
Подразумева́емые права́ (имплицитные права) — судебная теория в канадском правоведении, признающая, что в Конституции Канады некоторые основополагающие принципы не выражены явно, а подразумеваются. Она применялась в основном до принятия Канадской хартии прав и свобод, но и сейчас остаётся актуальна при рассмотрении вопросов о парламентском верховенстве и полномочии отмены.
Протокол — это письменный документ, отражающий ход общественного собрания или слушания. Протокол, содержащий дословную запись выступлений участников собрания или слушания, может также называться стенограммой.
Индивидуа́льный трудово́й спор – в соответствии с трудовым законодательством Российской Федерации – это неурегулированные разногласия между работодателем и работником по вопросам применения трудового законодательства и иных нормативных правовых актов, содержащих нормы трудового права, коллективного договора, соглашения, локального нормативного акта, трудового договора (в том числе об установлении или изменении индивидуальных условий труда), о которых заявлено в орган по рассмотрению индивидуальных...
ДСМ-метод — метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, называемую ДСМ-рассуждением.
Авторове́дческая эксперти́за — исследование текста (чаще всего — печатного) с целью установления авторства (атрибуция произведения) или получения каких-либо сведений об авторе и условиях создания текстового документа.
Теория Гласиер — универсальная теория формирования организаций, вошедшая в научную литературу под названием места своего создания — компании «Glacier Metal», Великобритания.
Судебный надзор – деятельность судебной власти по проверке законности действий и решений всех ветвей государственной власти. В рамках своих полномочий суды могут принимать решения об отмене актов законодательной и исполнительной власти, основываясь на действующей конституции и законодательстве. В зависимости от национального законодательства область действия судебного надзора в разных странах может заметно различаться.
Чтение законопроекта — организационно-правовая форма рассмотрения законопроекта парламентом и определённая стадия его обсуждения. Как правило, по каждому внесённому законопроекту проводится три чтения. В первом чтении решается вопрос о передаче законопроекта в профильную комиссию. Во втором чтении идёт детальное обсуждение проекта, вносятся поправки и дополнения. В третьем чтении идёт голосование за проект в целом, возможны лишь редакционные поправки.
Оккамово обучение в теории вычислительного обучения является моделью алгоритмического обучения, где целью обучения является получение сжатого представления имеющихся тренировочных данных. Метод тесно связан с почти корректным обучением (ПК обучение, англ. Probably Approximately Correct learning, PAC learning), где учитель оценивает прогнозирующую способность тестового набора.
Лемма разветвления (англ. Forking lemma) — лемма в области криптографических исследований.
Параболические уравнения — класс дифференциальных уравнений в частных производных. Один из видов уравнений, описывающих нестационарные процессы.
Подробнее: Параболическое уравнение
Метод итерации — численный метод решения математических задач, приближённый метод решения системы линейных алгебраических уравнений. Суть такого метода заключается в нахождении по приближённому значению величины следующего приближения (являющегося более точным).
Ме́тод моме́нтов — метод оценки неизвестных параметров распределений в математической статистике и эконометрике, основанный на предполагаемых свойствах моментов (Пирсон, 1894 г.). Идея метода заключается в замене истинных соотношений выборочными аналогами.
Теория оценивания — раздел математической статистики, решающий задачи оценивания непосредственно не наблюдаемых параметров сигналов или объектов наблюдения на основе наблюдаемых данных. Для решения задач оценивания применяется параметрический и непараметрический подход. Параметрический подход используется, когда известна математическая модель...
Определение (в праве) — вид судебного акта, который выносится судом по вопросам, требующим разрешения в ходе судебного разбирательства, но которым не решается дело по существу.
Преюди́ция (от лат. praejudicialis — относящийся к предыдущему судебному решению) — обязательность для всех судов, рассматривающих дело, принять без проверки доказательств факты, ранее установленные вступившим в законную силу судебным решением по другому делу, в котором участвуют те же лица.
Задачи тысячелетия — семь открытых математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решены, и только...
Интервальная арифметика — математическая структура, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Эту область математики называют также интервальным анализом или интервальными вычислениями. Данная математическая модель удобна для исследования различных прикладных объектов...
Логика разделения, сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Брэдфорда закон — это закономерность, впервые описанная математиком и библиотекарем Самуэлом Брэдфордом в 1934 году, которая оценивает зависимость результатов нахождения новых ссылок по определённой теме в научных журналах в зависимости от числа просмотров.
Метод внутренней точки — это метод позволяющий решать задачи выпуклой оптимизации с условиями, заданными в виде неравенств, сводя исходную задачу к задаче выпуклой оптимизации.
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Эпистемическая теория игр (англ. epistemic game theory), иначе называемая интерактивной эпистемологией (англ. interactive epistemology), формализует допущения о верах и знаниях игроков относительно рациональности, поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных концепций решения — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим...
Диаграмма Исикавы — т. н. диаграмма «рыбьей кости» (англ. Fishbone Diagram), или «причинно-следственная» диаграмма (англ. Cause and Effect Diagram), известная также как диаграмма «анализа корневых причин».
Ретропричинность (обратная причинность) — гипотетическое явление или процесс с обратной причинно-следственной связью, то есть явление или процесс, при котором следствие предшествует своей причине во времени.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Терминология оценки вероятности (англ. Words of estimative probability, WEP или WEPs) — часть инструментария анализа разведывательных данных, которая позволяет оценивать вероятность будущих событий. По оценкам аналитиков разведки, адекватная терминология оценки вероятности позволяет формулировать чёткие оценки, на основании которых принимаются политические решения. Несмотря на важность единообразной терминологии в данной сфере, в разведывательном сообществе США, например, не имеется стандартной WEP...
Обобщённый ме́тод моме́нтов (ОММ; англ. GMM — Generalized Method of Moments) — метод, применяемый в математической статистике и эконометрике для оценки неизвестных параметров распределений и эконометрических моделей, являющийся обобщением классического метода моментов. Метод был предложен Хансеном в 1982 году. В отличие от классического метода моментов количество ограничений может быть больше количества оцениваемых параметров.
Математическая предметная классификация (МПК, англ. Mathematics Subject Classification, MSC) — буквенно-цифровая классификационная система разделов математики и направлений математических исследований, разработанная и используемая двумя основными обзорными математическими базами данных — Mathematical Reviews и Zentralblatt MATH, ведомыми, соответственно, Американским математическим обществом и Европейским математическим обществом. Классификатор содержит более 5 тыс. сгруппированных в трёхуровневую...
В законе Об
авторском праве США термин существенное сходство является стандартом, используемым для определения того, нарушены ли авторские права или нет. Стандарт исходит из признания того, что исключительное право делать копии произведения будет лишено смысла, если нарушение было ограничено только точными и полными копиями произведения. Многие суды использовали термин «существенное сходство» или «поразительное сходство» для доказательства проведенного копирования.
«Корчеватель: Алгоритм типичной унификации точек доступа и избыточности» — название квазинаучной статьи, написанной программой-генератором квазинаучных англоязычных текстов, переведённой машинным переводчиком и принятой в 2008 году к публикации в российском научном журнале из списка признанных государством научных журналов.
Байесовское программирование — это формальная система и методология определения вероятностных моделей и решения задач, когда не вся необходимая информация является доступной.