Понятия со словом «отбрасывание»
Откат назад,
отбрасывание или оттеснение (англ. Rollback) — концепция американской внешней политики, нацеленная на предотвращение нежелательных для США политических изменений в той или иной стране. Обширно применялась в холодной войне против СССР и его союзников.
Отбрасывание (Verwerfung) — особый психический механизм, лежащий в основе формирования психотической структуры, и описанный Зигмундом Фрейдом в клиническом случае Сергея Панкеева. Фрейд говорит о трёх основных механизмах психики, которые формируют субъекта: «отрицание» (Verneinung) лежит в основании невротической структуры, «отбрасывание» (Verwerfung) — психотической и «отказ» (Verleugnung) — перверсивной.
Связанные понятия
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ. Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Замыкание — процесс или результат действия, сводящегося к ограничению или спрямлению чего-либо.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов...
Подробнее: Литерал (математическая логика)
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Регуляриза́ция — технический приём в квантовой теории поля, позволяющий избегать математически некорректных выражений в промежуточных вычислениях (то есть вместо явных бесконечностей мы оперируем конечными величинами). Подразумевается, что после получения окончательного ответа, регулирующий параметр устремляется к нулю и при этом окончательный ответ для наблюдаемой величины стремится к конечному значению.
Перечислительная комбинаторика (или исчисляющая комбинаторика) — раздел комбинаторики, который рассматривает задачи о перечислении, то есть подсчёте количества, или непосредственного построения и перебора, различных конфигураций (например, перестановок), образуемых элементами конечных множеств, на которые могут накладываться определённые ограничения, такие как: различимость или неразличимость элементов, возможность повторения одинаковых элементов и т. п.
Логистическая регрессия или логит-регрессия (англ. logit model) — это статистическая модель, используемая для прогнозирования вероятности возникновения некоторого события путём подгонки данных к логистической кривой.
Усечённая регрессия (англ. Truncated regression) или регрессия с урезанной выборкой — модель регрессии в условиях, когда выборка осуществляется только из тех наблюдений, которые, которые удовлетворяют априорным ограничениям, которые обычно формулируются как ограничение снизу и (или) сверху зависимой переменной. Урезание выборки приводит к смещенности МНК -оценок, поэтому оцениваются такие модели с помощью метода максимального правдоподобия.
Опера́ция — отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к арифметическим или логическим действиям, в отличие от термина «оператор», который чаще применяется к некоторым отображениям множества на себя, имеющим замечательные свойства.
Ограничением понятия - называется логическая операция, состоящая в прибавлении к содержанию понятия нового признака, наличие которого в содержании понятия сужает его объём. При этом исходное понятие будет родовым, а в результате его ограничения получается видовое понятие. Например, «движение ссудного капитала» - «международный кредит».
Подробнее: Ограничение понятий
Кореку́рсия — в теории категорий и информатике тип операции, дуальный к рекурсии. Обычно корекурсия используется (совместно с механизмом ленивых вычислений) для генерации бесконечных структур данных.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Двойственность, или принцип двойственности, — принцип, по которому задачи оптимизации можно рассматривать с двух точек зрения, как прямую задачу или двойственную задачу. Решение двойственной задачи даёт нижнюю границу прямой задачи (при минимизации). Однако, в общем случае, значения целевых функций оптимальных решений прямой и двойственной задач не обязательно совпадают. Разница этих значений, если она наблюдается, называется разрывом двойственности. Для задач выпуклого программирования разрыв двойственности...
Перенормиро́вка в квантовой теории поля — процедура устранения ультрафиолетовых расходимостей в классе теорий, называемых перенормируемыми. С физической точки зрения соответствует изменению начальных (затравочных) лагранжианов таких теорий с тем, чтобы результирующая динамика теории не содержала сингулярностей (и совпадала с наблюдаемой, если теория претендует на описание действительности). Другими словами, перенормировка — это уточнение лагранжиана взаимодействия с той целью, чтобы он не приводил...
Свёртка констант (англ. constant folding) и распространение констант (так же продвижение констант, дублирование констант, англ. constant propagation) — часто используемые в современных компиляторах оптимизации, уменьшающие избыточные вычисления, путём замены константных выражений и переменных на их значения. Так же часто применяется расширенный алгоритм sparse conditional constant propagation, выполняющий одновременно распространение констант и удаление некоторого мёртвого кода.
Хорновский дизъюнкт — дизъюнктивный одночлен с не более чем одним положительным литералом. Изучены Альфредом Хорном (англ. Alfred Horn) в 1951 году в связи с их важной ролью в теории моделей и универсальной алгебре. Впоследствии стали основой для языка логического программирования Пролог, в котором программа являются непосредственно набором хорновских дизъюнктов, а также нашли важные приложения в конструктивной логике и теории сложности вычислений.
Вероятностная рекурсия — это цикл, ещё одно выполнение которого инициируется с некоторой вероятностью. Длина рекурсии неопределённа, но теоретически может быть бесконечным. На практике же рекурсия рано или поздно заканчивается, поскольку рекурсия по сути своей всегда ограничена (за исключением случаев, когда вероятность равна =100%, тогда это неограниченная рекурсия. Если не ввести ещё одно условие, останавливающее цикл, то это может вызвать переполнение буферов оперативной памяти и срабатывание...
Грамматика с фразовой структурой — формальная грамматика, алгебраическая структура, состоящая из упорядоченной четвёрки G=(N, T, P, S) и определёной на ней неявно операцией конкатенации.
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Случайное блуждание — математическая модель процесса случайных изменений — шагов в дискретные моменты времени. При этом предполагается, что изменение на каждом шаге не зависит от предыдущих и от времени. В силу простоты анализа эта модель часто используется в разных сферах в математике, экономике, физике, но, как правило, такая модель является существенным упрощением реального процесса.
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
В теории динамических систем, энтропия динамической системы — число, выражающее степень хаотичности её траекторий. Различают метрическую энтропию, описывающую хаотичность динамики в системе с инвариантной мерой для случайного выбора начального условия по этой мере, и топологическую энтропию, описывающую хаотичность динамики без предположения о законе выбора начальной точки.
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Конъю́нкция (от лат. conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».
Стохастическая оптимизация — класс алгоритмов оптимизации, использующая случайность в процессе поиска оптимума. Случайность может проявляться в разных вещах.
Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики) от n аргументов — в дискретной математике — отображение Bn → B, где B = {0,1} — булево множество. Элементы булева множества {1, 0} обычно интерпретируют как логические значения «истинно» и «ложно», хотя в общем случае они рассматриваются как формальные символы, не несущие определённого смысла. Неотрицательное целое число n называют арностью или местностью функции, в случае n = 0 булева функция превращается в булеву константу...
Функциона́льная зави́симость — бинарное отношение между множествами атрибутов данного отношения и является, по сути, связью типа «один ко многим». Её использование обусловлено тем, что они позволяют формально и строго решить многие проблемы.
Вне́шне несвя́занные уравне́ния (англ. Seemingly Unrelated Regressions (SUR)) — система эконометрических уравнений, каждое из которых является самостоятельным уравнением со своей зависимой и объясняющими экзогенными переменными. Модель предложена Зельнером в 1968 году. Важной особенностью данных уравнений является то, что несмотря на кажущуюся несвязанность уравнений их случайные ошибки предполагаются коррелированными между собой.
Градиентные методы — численные методы решения с помощью градиента задач, сводящихся к нахождению экстремумов функции.
Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Топологическая энтропия — в теории динамических систем неотрицательное вещественное число, которое является мерой сложности системы.
Мнимый парадокс — ложный парадокс, возникающий из-за неверного хода рассуждений.
Мартинга́л в теории случайных процессов — такой случайный процесс, что наилучшим (в смысле среднеквадратичного) предсказанием поведения процесса в будущем является его настоящее состояние.
Цель (кибернетика) — желаемое состояние кибернетической системы, достигаемое в управляемом процессе развития системы. Состояние системы, как и её траектория в пространстве состояний, оценивается с точки зрения их соответствия или несоответствия цели. Математически выражением такой оценки является целевая функция, целевой функционал или критерий качества системы, критерий оптимизации.
Направленное множество в математике — непустое множество A с заданным на нем рефлексивным транзитивным отношением ≤ (то есть предпорядком), обладающее дополнительным свойством: у любой пары элементов из A есть верхняя грань в A.