Связанные понятия
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
В лингвистике,
катена (англ. catena «вереница, череда»; от лат. catena «цепь») — синтаксическая и морфологическая единица, тесно связанная с грамматиками зависимостей. Она является более гибким и объемлющим понятием, чем составляющая, и поэтому, вероятно, может лучше составляющей служить в качестве фундаментальной единицы синтактического и морфосинтактического анализа.
Нижний индекс или субскри́пт — в типографике способ набора символов ниже основной строки. Используется, в частности, при записи различных математических и химических формул.
Надстрочный знак, ве́рхний и́ндекс, суперскри́пт (англ. super script) (типографика) — знак, записанный выше основной строки. Применяется, например, при записи математических и химических формул.
Подробнее: Верхний индекс
Старсет — высокоуровневый язык программирования, разработанный под руководством М. М. Гилулы в Институте программных систем РАН в 1991 году.
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных...
Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает, отчасти — логическое подлежащее в его отношении к сказуемому, отчасти — причину в отношении к следствию.
Перенос и заём в арифметике — приёмы, применяемые в арифметических алгоритмах позиционных систем счисления при выполнении операций сложения и вычитания соответственно, а также (в составе тех же сложения и вычитания) и иных арифметичких операций. Перенос можно понимать как выделение умножения на основание системы счисления в отдельное слагаемое, с последующей перегруппировкой слагаемых.
Функциональный объект (англ. function object), также функтор, функционал и функционоид — распространённая в программировании конструкция, позволяющая использовать объект как функцию. Часто используется как callback, делегат.
Граф зависи́мостей — ориентированный граф, отображающий соотношение множества элементов некоторой совокупности в соответствии с выбранным транзитивным отношением над ней.
Синтетическая форма (от греч. synthetikos из synthesis — соединение, составление) — это морфологическая форма словообразования или словоизменения, в которой грамматические значения выражаются при помощи флексий и аффиксов без использования дополнительных слов. Синтетическая форма противопоставляется аналитической форме, когда в процессе словообразования к исходному слову добавляются одно или несколько вспомогательных слов.
Веер Кнастера — Куратовского — пример такого связного подмножества плоскости, удаление из которого одной точки делает его вполне несвязным.
Задача нахождения наибольшей общей подпоследовательности (англ. longest common subsequence, LCS) — задача поиска последовательности, которая является подпоследовательностью нескольких последовательностей (обычно двух). Часто задача определяется как поиск всех наибольших подпоследовательностей. Это классическая задача информатики, которая имеет приложения, в частности, в задаче сравнения текстовых файлов (утилита diff), а также в биоинформатике.
Подробнее: Наибольшая общая подпоследовательность
Универса́лия в лингвистике — одно из важнейших понятий типологии, свойство, присущее всем или подавляющему большинству естественных языков. Разработка теории универсалий часто связывается с именем Джозефа Гринберга, хотя сходные идеи выдвигались в языкознании задолго до него.
Фо́рмула Кирхго́фа — аналитическое выражение для решения гиперболического уравнения в частных производных (т. н. «волнового уравнения») во всём трёхмерном пространстве. Методом спуска (то есть уменьшением размерности) из него можно получить решения двумерного (Формула Пуассона) и одномерного (Формула Д’Аламбера) уравнения.
Почти многоугольник — это геометрия инцидентности, предложенная Эрнестом Е. Шультом и Артуром Янушкой в 1980. Шульт и Янушка показали связь между так называемыми тетраэдрально замкнутыми системами прямых в евклидовых пространствах и классом геометрий точка/прямая, которые они назвали почти многоугольниками. Эти структуры обобщают нотацию обобщённых многоугольников, поскольку любой обобщённый 2n-угольник является почти 2n-угольником определённого вида. Почти многоугольники интенсивно изучались, а...
Функция принадлежности нечёткого множества — обобщение индикаторной (или характеристической) функции классического множества. В нечёткой логике она представляет степень принадлежности каждого члена пространства рассуждения к данному нечёткому множеству.
Мемоизация (запоминание, от англ. memoization (англ.) в программировании) — сохранение результатов выполнения функций для предотвращения повторных вычислений. Это один из способов оптимизации, применяемый для увеличения скорости выполнения компьютерных программ. Перед вызовом функции проверяется, вызывалась ли функция ранее...
Термостатика — одно из названий классической термодинамики, акцентирующее внимание на том, что эта научная дисциплина представляет собой феноменологическую теорию стационарных состояний и квазистатических процессов в сплошных средах, и в явном виде отражающее современное деление термодинамики на статическую и нестатическую части — равновесную термодинамику и неравновесную термодинамику.
Зада́ча Гурса ́ — это разновидность краевой задачи для гиперболических уравнений и систем 2-го порядка с двумя независимыми переменными по данным на двух выходящих из одной точки характеристических кривых.
В комбинаторике последовательность Дэвенпорта — Шинцеля является последовательностью символов, в которой любые два символа могут появиться в чередующемся порядке ограниченное число раз. Максимальная возможная длина последовательности Дэвенпорта — Шинцеля ограничена числом символов, умноженном на небольшой постоянный множитель, который зависит от числа разрешённых чередований. Последовательности Дэвенпорта — Шинцеля были впервые определены в 1965 году Гарольдом Дэвенпортом и Анджеем Шинцелем для анализа...
Задача выполнимости формул в теориях (англ. satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT-формул являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п.
Нормальная форма Чибрарио — нормальная форма дифференциального уравнения, не разрешённого относительно производной, в окрестности простейшей особой точки. Название предложено В. И. Арнольдом в честь итальянского математика Марии Чибрарио, установившей эту нормальную форму для одного класса уравнений.
Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.
Лине́йная интерполя́ция — интерполяция алгебраическим двучленом P1(x) = ax + b функции f, заданной в двух точках x0 и x1 отрезка . В случае, если заданы значения в нескольких точках, функция заменяется кусочно-линейной функцией.
Для информации по скрытым категориям в Википедии, смотри Категория:Скрытые категории.Скры́тая катего́рия (криптоти́п) — семантические и синтаксические признаки слов или словосочетаний, не находящие явного морфологического выражения, но существенные для построения и понимания высказывания. Скрытые категории оказывают влияние на сочетаемость данного слова с другими словами в предложении.
Подробнее: Скрытая категория
Связное доминирующее множество и остовное дерево с максимальной листвой являются двумя тесно связанными структурами, определёнными на неориентированном графе.
Часто́тный слова́рь (или частотный список) — набор слов данного языка (или подъязыка) вместе с информацией о частоте их встречаемости. Словарь может быть отсортирован по частоте, по алфавиту (тогда для каждого слова будет указана его частота), по группам слов (например, первая тысяча наиболее частотных слов, за ней вторая и т. п.), по типичности (слова, частотные для большинства текстов), и т. д. Частотные списки используются для преподавания языка, создания новых словарей, приложений компьютерной...
О́белюс , обел (÷) (лат. obelus — от греч. ὀβελός, тот же корень, что и обелиск) — небуквенный символ, внешне напоминающий объединение знаков минуса и двоеточия.
Слабая сходимость в функциональном анализе — вид сходимости в топологических векторных пространствах.
Правило одного определения (One Definition Rule, ODR) — один из основных принципов языка программирования C++. Назначение ODR состоит в том, чтобы в программе не могло появиться два или более конфликтующих между собой определения одной и той же сущности (типа данных, переменной, функции, объекта, шаблона). Если это правило соблюдено, программа ведёт себя так, как будто в ней существует только одно, общее определение любой сущности. Нарушение ODR, если оно не будет обнаружено при компиляции и сборке...
Машинопи́сный апостро́ф (apostrophe, apostrophe-quote) — условное название знака, встречающегося на клавиатуре большинства пишущих машин с латинским шрифтом и компьютерных дисплеев. По историческим причинам лишь машинописный апостроф имеется на компьютерных клавиатурах и в 7-битовой кодировке ASCII. В качестве типографского символа он является суррогатом апострофа, кавычек, знака ударения, штриха (знака производной в математике, знака угловых минут и т. п.) и др. Часто смешивается с машинописным...
Точка следования (англ. sequence point) — в программировании любая точка программы, в которой гарантируется, что все побочные эффекты предыдущих вычислений уже проявились, а побочные эффекты последующих ещё отсутствуют.
Се́ма — дифференциальный семантический признак, компонент значения, который выявляется при сопоставлении значений разных слов. Является нечленимой составной частью лексического значения (семемы).
Геометрия Галуа (названа именем французского математика 19-го века Эвариста Галуа) — это раздел конечной геометрии, рассматривающий алгебраическую и аналитическую геометрию над конечными полями (или полями Галуа). В более узком смысле геометрию Галуа можно определить как проективное пространство над конечным полем.
Семантическая роль имени при предикате — в языкознании: часть семантики предиката, отражающая общие свойства аргумента предиката — участника называемой предикатом ситуации. Описание в терминах семантических ролей отражает сходства моделей управления различных предикатных слов.
Веду́щие нули ́ в записи числа при помощи позиционной системы счисления — последовательность из одного или более нулей, занимающая старшие разряды. Понятие ведущих нулей возникает при использовании представлений чисел, имеющих фиксированное количество разрядов. В остальных случаях, как правило, ведущие нули не пишутся.
Ини (ი, груз. ინი) — девятая буква грузинского алфавита (в старых грузинских алфавитах была десятой), обозначает неогубленный гласный переднего ряда верхнего подъёма. В изопсефии имеет значение «10». Омоглиф бирманской буквы гангэ и малаяламской рахарам.
Ядро м (англ. kernel) в статистике и эконометрике называют окно (весовую функцию). Байесовская, непараметрическая статистика и теория распознавания образов трактуют термин по-разному.
Говорят, что ориентированный
граф апериодичен, если нет целого числа k > 1, делящего длину любого цикла графа. Эквивалентно, граф апериодичен, если наибольший общий делитель длин его циклов равен единице. Этот наибольший общий делитель для графа G называется периодом графа G.
Многомерное шкалирование — метод анализа и визуализации данных с помощью расположения точек, соответствующих изучаемым (шкалируемым) объектам, в пространстве меньшей размерности чем пространство признаков объектов. Точки размещаются так, чтобы попарные расстояния между ними в новом пространстве как можно меньше отличались от эмпирически измеренных расстояний в пространстве признаков изучаемых объектов. Если элементы матрицы расстояний получены по интервальным шкалам, метод многомерного шкалирования...
Для ориентированного графа G термины converse (обратный), transpose (транспонированный) или reverse (противоположный) используются для обозначения другого ориентированного графа с тем же набором вершинам и с теми же дугами, но ориентация дуг этого графа противоположна ориентации дуг графа G. То есть, если граф G содержит дугу (u,v), то обратный/транспонированный/противоположный граф графу G содержит дугу (v,u) и наоборот.
Подробнее: Транспонированный граф