DNS — компьютерная распределённая система для получения информации о доменах. Чаще всего используется для получения IP-адреса по имени хоста, получения информации о маршрутизации почты и/или обслуживающих узлах для протоколов в домене (SRV-запись).
Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объекта или процесса, то есть ситуация, когда объект является частью самого себя. Термин «рекурсия» используется в различных специальных областях знаний — от лингвистики до логики, но наиболее широкое применение находит в математике и информатике.
Фу́нкция в программировании, или подпрограмма — фрагмент программного кода, к которому можно обратиться из другого места программы. В большинстве случаев с функцией связывается идентификатор, но многие языки допускают и безымянные функции. С именем функции неразрывно связан адрес первой инструкции (оператора), входящей в функцию, которой передаётся управление при обращении к функции. После выполнения функции управление возвращается обратно в адрес возврата — точку программы, где данная функция была вызвана.
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
chgrp — утилита UNIX. Может использоваться непривилегированными пользователями для изменения группы файлов. В отличие от команды chown, chgrp позволяет рядовым пользователям изменять группы, но только те, членами которых они являются.
- ИМЯ
- chgrp — изменить группу файлов
- ОБЗОР
- chgrp [опции] группа файл…
- опции POSIX: [-R] [--]
- опции из черновика стандарта («Austin»): [-hHLPR]
- указание группы в стиле GNU: [--reference=rfile]
- опции GNU : [-cfvR] [--help] [--version]
- ОПИСАНИЕ
- chgrp изменяет группу каждого заданного файла на группу, которая может быть представлена как именем группы, так и её числовым идентификатором (GID).
- ОПЦИИ POSIX
- -R
- Рекурсивное изменение группы для каталогов и их содержимого. Возникающие ошибки не прекращают работы команды.
- --
- Завершает список опций.
- ОПЦИИ ИЗ ЧЕРНОВИКА СТАНДАРТА AUSTIN
- -h
- Для каждого аргумента, который является символьной ссылкой, изменить группу самой этой ссылки, а не объекта, на который она указывает. Если система не поддерживает группы для символьных ссылок, то ничего не делать.
- -H
- (Используется совместно с -R.) Для каждого аргумента, который является символьной ссылкой на каталог, изменить группу самого каталога и всех файлов в иерархии этого каталога.
- -L
- (Используется совместно с -R.) Для каждого файла, указанного или в командной строке, или встреченного при обходе дерева каталогов, если этот файл является символьной ссылкой на каталог, изменить группу самого этого каталога и всех файлов в иерархии этого каталога.
- -P
- (Используется совместно с -R.) Для каждого файла, указанного или в командной строке, или встреченного при обходе дерева каталогов, если этот файл является символьной ссылкой, изменить группу самой этой ссылки, а не объекта, на который она указывает. Если система не поддерживает группы для символьных ссылок, то ничего не делать. Это поведение по умолчанию.
- -R
- Рекурсивно изменить группу каталогов и их содержимого.
- ДОПОЛНИТЕЛЬНЫЕ СВОЙСТВА ВЕРСИИ GNU
- Расширение GNU позволяет использовать --reference=rfile в качестве определения группы: та же группа, что и у rfile.
- ОПЦИИ GNU
- -c, --changes
- Подробно описывать действия для каждого файла, чья группа действительно изменяется.
- -f, --silent, --quiet
- Не выдавать сообщения об ошибке для файлов, чья группа не может быть изменена.
- -h, --no-dereference
- Работать с самими символьными ссылками, а не с файлами, на которые они указывают. Данная опция доступна, только если имеется системный вызов lchown.
- -v, --verbose
- Подробно описывать действие или отсутствие действия для каждого файла.
- -R, --recursive
- Рекурсивное изменение группы для каталогов и всего их содержимого.
- СТАНДАРТНЫЕ ОПЦИИ GNU
- --help
- Выдать подсказку на стандартный вывод и успешно завершиться.
- --version
- Выдать информацию о версии на стандартный вывод и успешно завершиться.
- ОКРУЖЕНИЕ
- При работе обычным образом используются переменные LANG, LC_ALL, LC_CTYPE и LC_MESSAGES. Системы, соответствующие стандарту XSI, используют NLSPATH обычным образом.
- СООТВЕТСТВИЕ СТАНДАРТАМ
- POSIX 1003.2 требует только наличия -R. Использование других опций может оказаться непереносимым.
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. В наши дни поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической логикой, где вместо вычислимости и невычислимости идёт речь о доказуемости и недоказуемости утверждений в рамках каких-либо теорий.
В математике сходи́мость означает существование конечного предела у числовой последовательности, суммы бесконечного ряда, значения у несобственного интеграла, значения у бесконечного произведения. Соответственно, расходи́мость — отсутствие конечного предела.
Двоичное дерево поиска — двоичное дерево, для которого выполняются следующие дополнительные условия :
- оба поддерева — левое и правое — являются двоичными деревьями поиска;
- у всех узлов левого поддерева произвольного узла X значения ключей данных меньше либо равны, нежели значение ключа данных самого узла X;
- у всех узлов правого поддерева произвольного узла X значения ключей данных больше, нежели значение ключа данных самого узла X.
«Разделяй и властвуй» в информатике — схема разработки алгоритмов, заключающаяся в рекурсивном разбиении решаемой задачи на две или более подзадачи того же типа, но меньшего размера, и комбинировании их решений для получения ответа к исходной задаче; разбиения выполняются до тех пор, пока все подзадачи не окажутся элементарными.
chmod — команда для изменения прав доступа к файлам и каталогам, используемая в Unix-подобных операционных системах. Входит в стандарт POSIX, в Coreutils.
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
chown — UNIX‐утилита, изменяющая владельца и/или группу для указанных файлов. В качестве имени владельца/группы берётся первый аргумент, не являющийся опцией. Если задано только имя пользователя, то данный пользователь становится владельцем каждого из указанных файлов, а группа этих файлов не изменяется. Если за именем пользователя через двоеточие следует имя группы, без пробелов между ними, то изменяется также и группа файла.
Хвостовая рекурсия — частный случай рекурсии, при котором любой рекурсивный вызов является последней операцией перед возвратом из функции. Подобный вид рекурсии примечателен тем, что может быть легко заменён на итерацию путём формальной и гарантированно корректной перестройки кода функции. Оптимизация хвостовой рекурсии путём преобразования её в плоскую итерацию реализована во многих оптимизирующих компиляторах. В некоторых функциональных языках программирования спецификация гарантирует обязательную оптимизацию хвостовой рекурсии.
Числова́я фу́нкция — функция, которая действует из одного числового пространства (множества) в другое числовое пространство (множество). Числовые множества — это множества натуральных, целых, рациональных, вещественных и комплексных чисел вместе с определёнными для соответствующих множеств алгебраическими операциями. Для всех перечисленных числовых множеств, кроме комплексных чисел, определено также отношение линейного порядка, позволяющее сравнивать числа по величине. Числовые пространства — это числовые множества вместе с функцией расстояния, заданной на соответствующем множестве.
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций:
- примитивно рекурсивные функции;
- общерекурсивные функции;
- частично рекурсивные функции.
В математике, логике и информатике рекурсивно перечислимым языком называется тип формального языка, также известный как частично разрешимый, или распознаваемый по Тьюрингу. В иерархии Хомского он известен как язык типа 0. Класс всех рекурсивно перечислимых языков называется RE.
Матричная библиотека шаблонов (MTL) — это библиотека линейной алгебры для C++ программ.
В теории типов и функциональных языках программирования конструктор алгебраического типа данных или просто конструктор представляет собой функцию с пустым телом, конструирующую объект алгебраического типа данных. Оптимизирующие компиляторы исполняют эти функции статически, то есть на этапе компиляции.
