Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств.
Коне́чный автома́т (КА) в теории алгоритмов — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных. Является частным случаем абстрактного дискретного автомата, число возможных внутренних состояний которого конечно.
Диагра́мма свя́зей, известная также как интелле́кт-ка́рта, ассоциати́вная ка́рта, мента́льная ка́рта или ка́рта мыслей — метод структуризации и визуализации концепций с использованием графической записи в виде диаграммы.
Граф — математическая абстракция реальной системы любой природы, объекты которой обладают парными связями. Граф как математический объект есть совокупность двух множеств — множества самих объектов, называемого множеством вершин, и множества их парных связей, называемого множеством рёбер. Элемент множества рёбер есть пара элементов множества вершин.
Семанти́ческая сеть — информационная модель предметной области, имеет вид ориентированного графа. Вершины графа соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть: понятия, события, свойства, процессы. Таким образом, семантическая сеть — это один из способов представления знаний.
Диаграмма Фейнмана — графическое представление математических уравнений, описывающих взаимодействия субатомных частиц в рамках квантовой теории поля. Этот инструмент изобрёл американский физик Ричард Фейнман в конце 1940-х годов, во время его работы в Корнельском университете, для выполнения расчётов рассеяния частиц.
Диагра́ммы Э́йлера — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Первое их использование приписывают Леонарду Эйлеру. Используется в математике, логике, менеджменте и других прикладных направлениях. Не следует их путать с диаграммами Эйлера — Венна.
Гра́фик:
- График функции — множество точек, у которых абсциссы являются допустимыми значениями аргумента x, а ординаты — соответствующими значениями функции
. - График — деятель искусств, занимающийся графикой.
- График базальной температуры — функциональная диагностика, позволяющая оценить состояние гормонального гомеостаза в организме женщины.
- График работ — план работ, мероприятий с указанием этапов с временными рамками.
- Диаграмма Ганта — тип столбчатых диаграмм, используется для иллюстрации плана, графика работ по какому-либо проекту. Один из методов планирования проектов.
- Сетевой график — граф, вершины которого отображают состояния некоторого объекта, а дуги — работы, ведущиеся на этом объекте.
- График движения поездов — организующая и технологическая основа работы подразделений железных дорог, план эксплуатационной работы.
- АФЧХ — представление частотного отклика линейной стационарной динамической системы в виде графика в полярных координатах.
- Искрографик — небольшой график, предназначенный для отображения большого количества данных в небольших объёмах пространства.
Джон Венн — английский логик и философ. Он известен тем, что ввёл диаграммы Эйлера — Венна, которые используются во многих областях, таких как теория множеств, теория вероятностей, логика, статистика и информатика.
Древовидная структура является одним из способов представления иерархической структуры в графическом виде.
Диаграмма классов — структурная диаграмма языка моделирования UML, демонстрирующая общую структуру иерархии классов системы, их коопераций, атрибутов (полей), методов, интерфейсов и взаимосвязей между ними. Широко применяется не только для документирования и визуализации, но также для конструирования посредством прямого или обратного проектирования.
Дерево — одна из наиболее широко распространённых структур данных в информатике, эмулирующая древовидную структуру в виде набора связанных узлов. Является связным графом, не содержащим циклы. Большинство источников также добавляет условие на то, что рёбра графа не должны быть ориентированными. В дополнение к этим трём ограничениям, в некоторых источниках указывается, что рёбра графа не должны быть взвешенными.
Диаграмма Венна — схематичное изображение всех возможных отношений нескольких подмножеств универсального множества. На диаграммах Венна универсальное множество 
изображается множеством точек некоторого прямоугольника, в котором располагаются в виде кругов или других простых фигур все остальные рассматриваемые множества.
Звукова́я систе́ма, правильнее звуковысо́тная систе́ма — материальная основа музыкально-логических отношений гармонии. Термин восходит к древнегреческой теории музыки (гармонике), где словом σύστημα обозначался любой звукоряд от трёх ступеней и более.
Теория бифуркаций динамических систем — это теория, которая изучает изменения качественной картины разбиения фазового пространства в зависимости от изменения параметра.
Диагра́мма — графическое представление данных линейными отрезками или геометрическими фигурами, позволяющее быстро оценить соотношение нескольких величин. Представляет собой геометрическое символьное изображение информации с применением различных приёмов техники визуализации.
Диаграммы Юнга — наглядный способ описания представлений симметрических и полных линейных групп и изучения их свойств.
Диаграмма Коксетера — Дынкина — это граф с помеченными числами рёбрами, представляющими пространственные связи между набором зеркальных симметрий . Диаграмма описывает калейдоскопичное построение — каждая «вершина» графа представляет зеркало, а метки ветвей задают величину двугранного угла между двумя зеркалами . Непомеченные ветви неявно подразумевают порядок 3.
