Обобщённый алгебраический тип да́нных (англ. generalized algebraic data type, GADT) — один из видов алгебраических типов данных, который характеризуется...

Алгебраи́ческий тип да́нных — в информатике наиболее общий составной тип, представляющий собой тип-сумму из типов-произведений. Алгебраический тип имеет...

Тип данных (тип) — множество значений и операций над этими значениями (IEEE Std 1320.2-1998). Другие определения: Тип данных — класс данных, характеризуемый...

так называемых локально-абстрактных типов, реализующих экзистенциальные типы) и обобщённые алгебраические типы данных➤. Термин «полиморфизм» происходит...

Система линейных алгебраических уравнений (линейная система, также употребляются аббревиатуры СЛАУ, СЛУ) — система уравнений, каждое уравнение в которой...

Другой способ формулировки гипотезы Ходжа включает идею алгебраических циклов. Алгебраический цикл на X - это формальная комбинация подмногообразий X;...

типов: экзистенциальный полиморфизм, полиморфизм высших порядков, импредикативный полиморфизм, обобщённые алгебраические типы данных, семейства типов...

могут рассматриваться над произвольными полями. Так, обобщенная плоская аффинная алгебраическая кривая над полем k {\displaystyle k} определяется как...

полиморфные методы и вариантные типы, именованные и необязательные параметры, модули первого класса, обобщённые алгебраические типы данных (GADT). Язык стал поддерживать...

тропической геометрии, абсолютной геометрии над полем с одним элементом и алгебраический аналог геометрии Аракелова[англ.]. Занимает должность старшего научного...

определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но используется для передачи типа данных без передачи...

неравенство разных конкретных типов, построенных конструктором Succ. Тип Vec определён как обобщённый алгебраический тип данных (GADT). Решение условно предполагает...

следующее формальное определение: Чаще всего рассматривают такие обобщения в алгебраических кольцах. Если кольцо есть область целостности, то квадратных корней...

компьютерной поддержке комплексной арифметики изложено в статье Комплексный тип данных. Как уже отмечалось выше, всякая комплексная функция может рассматриваться...

вариациях (обобщениях) во многих разделах математики. Это базовая конструкция дифференциального исчисления, допускающая много вариантов обобщений, применяемых...

тип данных, построенный как декартово произведение исходных типов; другими словами — кортеж типов, или «кортеж как тип»➤. Использованные типы и порядок...

Аристотель при изложении своей логики безошибочно перечислил все возможные типы трёхчленных силлогизмов. Аристоксен рассмотрел различные чередования длинных...

в изучение свойств конкретных кривых (конические сечения, некоторые алгебраические кривые высших порядков и некоторые трансцендентные кривые), применяя...

данных, используя правила логического вывода и факты, закладываемые в базы знаний. Унивалентность онтологии задачи выбора любому гомотопическому типу...

функторы из данной категории в категорию векторных пространств. Такое описание указывает на два очевидных обобщения: во-первых, алгебраические объекты могут...

Гипотеза Морделла — гипотеза о конечности множества рациональных точек на алгебраической кривой рода g > 1 {\displaystyle g>1} , выдвинутая Луисом Морделлом...

операции определяет типы данных, к которым эта операция может применяться, подразумевая её неприменимость к иным типам. Например, данные, которые представляет...

исходными данными Шимуры (G, X) и обозначается Sh(G, X). Для специальных типов эрмитово-симметрических областей и конгруэнтных подгрупп Γ алгебраическое многообразие...

Например, любой однородный многочлен является обобщённо-однородным относительно диагонального действия алгебраического тора: g ∈ C ∖ { 0 } : g ( z 1 , … , z n...

универсальной алгебры в информатике — теории абстрактных типов данных, теории систем управления базами данных, приложения в основном строятся вокруг понятия многосортных...

достаточно большого k. То есть, это пространство обобщённых собственных векторов (в первом смысле), где обобщённый собственный вектор — это любой вектор, который...

именуемая алгебраической скоростью точки. В соответствии с данными формулами, вектор скорости точки всегда направлен вдоль касательной, а алгебраическая скорость...

как геометрическое, близкое к исследованию Омара Хайяма, так и чисто алгебраическое. В «Ответе на вопрос эмира эмиров Шамс ад-Дина» решается задача о разделении...

очень полезные новые применения. В книге «Алгебраические неравенства» (Седракян) дано несколько обобщений этого неравенства. Для любых вещественных a...

наследования; алгебраические типы данных; перегрузка функций; переопределение операторов; ряд частных возможностей, характерных для языков типа Ruby или Python...

что если дано число S {\displaystyle S} , процедура находит число, которое при умножении на себя даёт S {\displaystyle S} . Алгебраически это означает...