Математи́ческий ана́лиз — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.
Функциона́льное программи́рование — парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних.
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули. Основная роль системы типов заключается в уменьшении числа багов в программах посредством определения интерфейсов между различными частями программы и последующей проверки согласованности взаимодействия этих частей. Эта проверка может происходить статически или динамически, а также быть комбинацией обоих видов.
OCaml — объектно-ориентированный язык функционального программирования общего назначения. Был разработан с учётом безопасности исполнения и надёжности программ. Поддерживает функциональную, императивную и объектно-ориентированную парадигмы программирования. Самый распространённый в практической работе диалект языка ML.
Дифференциа́льное уравне́ние — уравнение, которое помимо функции содержит её производные. Порядок входящих в уравнение производных может быть различен. Производные, функции, независимые переменные и параметры могут входить в уравнение в различных комбинациях или отсутствовать вовсе, кроме хотя бы одной производной. Не любое уравнение, содержащее производные неизвестной функции, является дифференциальным. Например, 
не является дифференциальным уравнением.
Фу́нкция в программировании, или подпрограмма — фрагмент программного кода, к которому можно обратиться из другого места программы. В большинстве случаев с функцией связывается идентификатор, но многие языки допускают и безымянные функции. С именем функции неразрывно связан адрес первой инструкции (оператора), входящей в функцию, которой передаётся управление при обращении к функции. После выполнения функции управление возвращается обратно в адрес возврата — точку программы, где данная функция была вызвана.
Ссы́лка:
- Ссылка — запись в документе, указывающая на другую часть этого документа или на другой документ;
- Ссылка — депортация, изгнание;
- Ссылка — абстракция в программировании, запись о связи с объектом программы
Гео́рг Фри́дрих Бе́рнхард Ри́ман — немецкий математик, механик и физик.
В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории.
- Дифференциальное исчисление
- Интегральное исчисление
- Вариационное исчисление
- Многомерное исчисление
Ива́н Ива́нович Прива́лов — советский математик, член-корреспондент АН СССР.
L — 12-я буква латинского алфавита.
- L — число 50 римскими цифрами.
- L — обозначение фазного провода на электрической принципиальной схеме в однофазных или трёхфазных цепях переменного тока.
- Класс сложности L.
- L — маршрут нью-йоркского метро.
- L — персонаж манги и аниме «Тетрадь смерти».
- L — Точка Лагранжа в небесной механике.
- L — в популяционной генетике обозначение гаплогруппы L (мтДНК) и гаплогруппы L (Y-ДНК)
- l — длина, расстояние.
Теорема Римана может означать:
- Теорема Римана об отображении — важнейшая закономерность 2-мерной конформной геометрии и одномерного комплексного анализа.
- Теорема Римана об устранимой особой точке — утверждение из теории функций комплексной переменной о заполнении устранимого разрыва.
- Теорема Римана об условно сходящихся рядах — теорема в математическом анализе о сходимости условно сходящихся рядов.
Математические обозначения — графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.
Анализ — объединение нескольких разделов математики, исторически выросшее из классического математического анализа и охватывающее, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ. Нестандартный анализ находится на стыке математической логики и анализа, применяет методы теории моделей для альтернативной формализации, прежде всего, классических разделов.
Теория функций вещественной переменной — раздел математического анализа, изучающий вопросы представления и приближения функций, их локальные и глобальные свойства. При этом, в отличие от классического дифференциального и интегрального исчисления, ТФВП опирается на теорию множеств и теорию меры, широко использует их понятия и методы, что позволило значительно обобщить классические результаты, дать им строгое обоснование и получить новые результаты.
