Функциона́льное программи́рование — парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних.
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
С, с — буква всех славянских кириллических алфавитов ; используется также в алфавитах некоторых неславянских языков. В старо- и церковнославянской азбуках носит название «сло́во», что могло означать разное: «слово, речь, дар речи, молва, весть, известие, проповедь, изречение, Писание, заповедь». В кириллице обычно считается 19-й по порядку и выглядит как ; в глаголице по счёту 20-я, имеет вид . В обеих азбуках числовое значение — 200. Происхождение кириллической буквы — греческая сигма в с-образном византийском варианте «sigma lunata». Глаголическую часто объясняют как искусственное образование, сочетание христианских символов треугольника и круга — как и перевёрнутый знак для И. Хотя обе эти глаголические буквы единообразно получаются из греческих строчных ς и η, также в некоторых почерках похожих на перевёрнутые варианты друг друга.
Δ, δ — 4-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 4. Происходит от финикийской буквы 𐤃 — делт, название которой означало «дверь» или «вход в палатку». От буквы дельта произошли латинская буква D и кириллическая Д. В древнегреческом языке дельта произносилась как взрывной [d], в современном греческом произносится как [ð].
Α, α — первая буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 1. Происходит от финикийской буквы 𐤀 — алеф, которая в переводе означает «бык» и своим начертанием изображает голову быка. От буквы альфа произошли латинская буква A и кириллическая А.
L, l — 12-я буква базового латинского алфавита.
Вопроси́тельный знак — знак препинания, ставится обычно в конце предложения для выражения вопроса или сомнения.
Θ, θ — 8-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 9. Происходит от финикийской буквы 𐤈 — тет. От буквы тета произошла кириллическая буква Ѳ (фита́). Новогреческое название — фи́та . В древнегреческом звучала как придыхательный [tʰ], потом перешла в [θ].
Ε, ε — 5-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 5. Происходит от финикийской буквы 𐤄 — хе. От буквы эпсилон произошли латинская E и кириллические Е, Ё, Є и Э. Название «эпсилон» было введено для того, чтобы отличать эту букву от созвучного дифтонга αι.
Бе́та:
- Бета — вторая буква греческого алфавита.
- Бета — служба точного времени, работающая в СНГ в диапазоне сверхдлинных волн.
- Бета-коэффициент — показатель доходности ценных бумаг.
- Бета-лист — форма вторичной структуры белков.
- Бета-мужчина — жаргонное обозначение социальной роли в коллективе.
- Бета-ридер — человек, вычитывающий текст перед его передачей для публикации.
- Бета-тестирование — пользовательская отладка почти готовой версии продукта перед его выпуском.
Β, β — 2-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 2. Происходит от финикийской буквы 𐤁 — бет, что в переводе означает «дом». От буквы бета произошли латинская буква B и кириллические Б и В. Бета — древнегреческое название буквы. В древнегреческом языке она произносилась как взрывной звук [b]. В современном греческом языке эта буква произносится как звонкий лабиодентальный (губно-зубной) фрикатив [v] и называется ви́та.
D, d — 4-я буква базового латинского алфавита, произносится «дэ», в английском и итальянском — ди.
G, g — седьмая буква базового латинского алфавита, называемая в латинском и немецком языках гэ, во французском языке — жэ, в английском языке — джи, в испанском языке — хе.
Σ, σ, ς — 18-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 200. Происходит от финикийской буквы 𐤔 — син. От буквы «сигма» произошли латинская буква S, кириллическая С и некоторые другие, в том числе косвенным образом и кириллическая буква зело. В греческом языке сигма передаёт звук [s].
Η, η — 7-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 8. Происходит от финикийской буквы 𐤇 — хет. От буквы эта произошли латинская буква H, кириллическая И c Й и армянский гхат. Новогреческое название — и́та.
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Математические обозначения — графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.
Выражение — многозначный термин.