Функциона́льное программи́рование — парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних.
Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объекта или процесса, то есть ситуация, когда объект является частью самого себя. Термин «рекурсия» используется в различных специальных областях знаний — от лингвистики до логики, но наиболее широкое применение находит в математике и информатике.
Бесконечный цикл в программировании — цикл, написанный таким образом, что условие выхода из него никогда не выполняется. О программе, вошедшей в бесконечный цикл, иногда говорят, что она зациклилась.
Структу́рное программи́рование — парадигма программирования, в основе которой лежит представление программы в виде иерархической структуры блоков. Концептуализирована в конце 1960-х — начале 1970-х годов на фундаменте теоремы Бёма — Якопини, математически обосновывающей возможность структурной организации программ, и работы Эдсгера Дейкстры «О вреде оператора goto».
Мультипаради́гменный язы́к программи́рования — язык программирования, который был разработан специально как инструмент мультипарадигменного программирования, то есть выразительные возможности которого изначально предполагалось унаследовать от нескольких, чаще всего неродственных, языков различных парадигм.
Дихотоми́я — раздвоенность, последовательное деление на две части, более связанные внутри, чем между собой.
Цикл — разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций. Также циклом может называться любая многократно исполняемая последовательность инструкций, организованная любым способом.
Процесс разработки программного обеспечения — процесс, посредством которого потребности пользователей преобразуются в программный продукт. Процесс разработки программного обеспечения является составной частью программной инженерии.
Гибкая методология разработки — обобщающий термин для целого ряда подходов и практик, основанных на ценностях Манифеста гибкой разработки программного обеспечения и 12 принципах, лежащих в его основе.
Шестидесятилетний цикл — система китайского летоисчисления, основанная на комбинации десятеричного (天干) и двенадцатеричного (地支) циклов.
Хвостовая рекурсия — частный случай рекурсии, при котором любой рекурсивный вызов является последней операцией перед возвратом из функции. Подобный вид рекурсии примечателен тем, что может быть легко заменён на итерацию путём формальной и гарантированно корректной перестройки кода функции. Оптимизация хвостовой рекурсии путём преобразования её в плоскую итерацию реализована во многих оптимизирующих компиляторах. В некоторых функциональных языках программирования спецификация гарантирует обязательную оптимизацию хвостовой рекурсии.
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций:
- примитивно рекурсивные функции;
- общерекурсивные функции;
- частично рекурсивные функции.
Clojure — современный диалект Лиспа, язык программирования общего назначения с поддержкой разработки в интерактивном режиме, поощряющий функциональное программирование и упрощающий поддержку многопоточности. Clojure работает на платформах JVM и CLR. Clojure отличает философия «код как данные» (гомоиконность) и развитая система лисп-макросов.
MADRYGA — блочный алгоритм шифрования, созданный В. Е. Мадрига в 1984 году.
Инвариант цикла — в программировании — логическое выражение, истинное после каждого прохода тела цикла и перед началом выполнения цикла, зависящее от переменных, изменяющихся в теле цикла. Инварианты используются в теории верификации программ для доказательства правильности результата, полученного циклическим алгоритмом.
В программном обеспечении переполнение стека возникает, когда в стеке вызовов хранится больше информации, чем он может вместить. Обычно ёмкость стека задаётся при старте программы/потока. Когда указатель стека выходит за границы, программа аварийно завершает работу.
Итерация — повторение какого-либо действия.
- Итерация в математике — повторное применение какой-либо математической операции.
- Итерация в программировании — организация обработки данных, при которой действия повторяются многократно, не приводя при этом к вызовам самих себя.
- Итерация в психиатрии — патологическое возбуждение, характеризующееся ритмичным повторением двигательного акта, слова или части фразы, наблюдаемое при кататонических синдромах, постэнцефалитических состояниях, особенно при стриарных гиперкинезах, при глубоком слабоумии, эпилептических сумеречных состояниях, в процессе обратного развития коматозного состояния посттравматического или интоксикационного генеза.
- Итерация (одоридзи) в японском письме — знак удвоения иероглифа.
- Итерация в философии — понятие о повторяемости, безотносительной к наличию повторяемого, использумое в учении Жака Деррида.
L-система или система Линденмайера — это параллельная система переписывания и вид формальной грамматики. L-система состоит из алфавита символов, которые могут быть использованы для создания строк, набора порождающих правил, которые задают правила подстановки вместо каждого символа, начальной строки («аксиомы»), с которой начинается построение, и механизма перевода образованной строки в геометрические структуры.
Рекурсивный Поиск по Первому Наилучшему Совпадению (РППНС) — это простой рекурсивный алгоритм, в котором делаются попытки имитировать работу стандартного поиска по первому лучшему совпадению, но с использованием только линейного пространства.
В информатике поиск по краям — это алгоритм поиска по графу, который находит путь с наименьшей стоимостью от заданного начального узла до одного целевого узла.
