Алгори́тм — совокупность точно заданных правил решения некоторого класса задач или набор инструкций, описывающих порядок действий исполнителя для решения определённой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться в произвольном порядке, параллельно, если это позволяют используемые исполнители.
Социа́льный, или обще́ственный институ́т — система взаимосвязанных норм, которые опираются на коллективно разделяемые ценности, свойственные тому или иному обществу или той или иной социальной группе, и обобщаются как способы действия, мышления и чувствования. Социальные институты выстраиваются на основе норм и социальных ожиданий, порождают практики социальной жизни. Представление о социальных институтах связано с понятием социальной структуры и социально организованной деятельностью людей.
Сборка мусора в программировании — одна из форм автоматического управления памятью. Специальный процесс, называемый сборщиком мусора, периодически освобождает память, удаляя из неё ставшие ненужными объекты.
В алгоритмической теории информации колмогоровская сложность объекта есть мера вычислительных ресурсов, необходимых для точного определения этого объекта.
Теория общественного выбора — раздел экономической теории, изучающий различные способы и методы, посредством которых люди используют государственные учреждения в своих собственных интересах.
Социальная организация общества — установленный в обществе нормативный социальный порядок, а также деятельность, направленная на его поддержание или приведение к нему.
Вычисли́тельная сло́жность — понятие в информатике и теории алгоритмов, обозначающее функцию зависимости объёма работы, которая выполняется некоторым алгоритмом, от размера входных данных. Раздел, изучающий вычислительную сложность, называется теорией сложности вычислений. Объём работы обычно измеряется абстрактными понятиями времени и пространства, называемыми вычислительными ресурсами. Время определяется количеством элементарных шагов, необходимых для решения задачи, тогда как пространство определяется объёмом памяти или места на носителе данных. Таким образом, в этой области предпринимается попытка ответить на центральный вопрос разработки алгоритмов: «как изменится время исполнения и объём занятой памяти в зависимости от размера входа?». Здесь под размером входа понимается длина описания данных задачи в битах, а под размером выхода — длина описания решения задачи.
Симметри́чные криптосисте́мы — способ шифрования, в котором для шифрования и расшифровывания применяется один и тот же криптографический ключ. До изобретения схемы асимметричного шифрования единственным существовавшим способом являлось симметричное шифрование. Ключ алгоритма должен сохраняться в секрете обеими сторонами. Алгоритм шифрования выбирается сторонами до начала обмена сообщениями.
Перечисли́мое мно́жество — множество конструктивных объектов, все элементы которого могут быть получены с помощью некоторого алгоритма. Дополнение перечислимого множества называется корекурсивно перечислимым. Всякое перечислимое множество является арифметическим. Корекурсивно перечислимое множество может не быть перечислимым, но всегда является арифметическим. Перечислимые множества соответствуют уровню 
арифметической иерархии, а корекурсивно перечислимые — уровню 
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Метаалгоритм — это обобщение понятия алгоритма. Классические формализации понятия алгоритма не в полной мере обеспечивают надлежащую формализацию интуитивного понятия алгоритма. Нормальные алгоритмы, например, не обеспечивают однозначного применения нормального алгоритма к себе. Некоторая модификация нормальных алгоритмов обеспечивает однозначное применение алгоритма к себе. Такая формализация понятия алгоритма считается определением метаалгоритма.
Социальная роль — образец поведения человека, который общество признает целесообразным для обладателя данного статуса.
Псевдоко́д — компактный, зачастую неформальный язык описания алгоритмов, использующий ключевые слова императивных языков программирования, но опускающий несущественные для понимания алгоритма подробности и специфический синтаксис. Предназначен для представления алгоритма человеку, а не для компьютерной трансляции и последующего исполнения программы.
Тео́рия алгори́тмов — раздел математики, изучающий общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук, теории передачи информации, информатики, телекоммуникационных систем и других областей науки и техники.
Трассиро́вка печатных плат — один из этапов проектирования радиоэлектронной аппаратуры (РЭА), заключающийся в определении мест расположения проводников на печатной плате вручную или с использованием одной из САПР, предназначенной для проектирования печатных плат.
Дружелюбный русский алгоритмический язык, который обеспечивает наглядность — визуальный алгоритмический язык программирования и моделирования.
Парадо́кс Риша́ра — семантический парадокс, впервые описанный французским математиком Жюлем Ришаром в 1905 году.
Алгоритмическая торговля, или Алгоритмический трейдинг — это метод исполнения большой заявки, когда с помощью особых алгоритмических инструкций большая заявка делится на несколько под-заявок со своими характеристиками цены и объёма, и каждая из под-заявок отправляется в определённое время на рынок для исполнения. Такие алгоритмы были придуманы для того, чтобы трейдерам не приходилось постоянно следить за котировками и делить большую заявку на маленькие вручную. Популярные алгоритмы носят названия "Percentage of Volume", "Pegged", "VWAP", "TWAP", "Implementation Shortfall", "Target Close".
Организа́ция — это субъект хозяйствования, обладающий правами юридического лица, производящий продукцию или оказывающий услугу потребителю с целью получения прибыли.
Конструктивная семантика — раздел конструктивной логики необходимый в связи с особым отличием от общих принципов заложенных в основе математики как классической, так и в конструктивной математике.