Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Waveform Audio File Format — формат файла-контейнера для хранения записи оцифрованного аудиопотока, подвид RIFF. Этот контейнер, как правило, используется для хранения несжатого звука в импульсно-кодовой модуляции. Однако контейнер не налагает каких-либо ограничений на используемый алгоритм кодирования.
Lua — скриптовый язык программирования, разработанный в подразделении Tecgraf Католического университета Рио-де-Жанейро (Бразилия). Интерпретатор языка является свободно распространяемым, с открытым исходным кодом на языке программирования Си.
Звёздочка, или астери́ск — типографский знак в виде небольшой, обычно пяти- или шестиконечной звёздочки, расположенной в строке или поднятой над строкой.
Nemerle — гибридный язык высокого уровня со статической типизацией, сочетающий в себе возможности функционального и объектно-ориентированного программирования, для платформ .NET и Mono. Главная особенность языка — развитая система метапрограммирования.
goto — оператор безусловного перехода в некоторых языках программирования. В некоторых языках оператор безусловного перехода может иметь другое имя.
Interchange File Format (IFF) — формат файла-контейнера, разработанный в 1985 году корпорацией Electronic Arts совместно с Commodore для новой платформы Amiga с целью упростить обмен данными между ПО различных производителей. Контейнер IFF может содержать любые данные (звук, графику, текст и пр.)
Перено́с в типографике — разрыв части текста, при котором её начало оказывается на одной строке, а конец — на другой.
Цифровой идентификатор объекта — основной элемент системы ДОИ, предназначенной для обозначения объектов информационной деятельности. Это цифровой идентификатор объекта, а не идентификатор цифрового объекта. DOI начали использовать с 2000 года, в настоящее время их присваивают более 5000 органов. Имеется более 100 миллионов имен DOI и более 1,5 миллиарда публикаций DOI в год. DOI порой присваивают и публикациям, созданным задолго до начала его использования.
— формат хранения растровых изображений, разработанный компанией Microsoft. Файлы формата BMP могут иметь расширения .bmp, .dib и .rle.
Красно-чёрное дерево — один из видов из самобалансирующихся двоичных деревьев поиска, гарантирующих логарифмический рост высоты дерева от числа узлов и позволяющее быстро выполнять основные операции дерева поиска: добавление, удаление и поиск узла. Сбалансированность достигается за счёт введения дополнительного атрибута узла дерева — «цвета». Этот атрибут может принимать одно из двух возможных значений — «чёрный» или «красный».
ILBM — разновидность файлов формата IFF, используемая для хранения данных растровой графики. Форматом поддерживается чересстрочная развёртка, цветное изображение представлено совокупностью однобитных массивов, каждый из которых хранит 1 бит данных для одного пикселя в изображении. Такие массивы называют бит-планами, или битмапами. Также, форматом поддерживается горизонтальное и вертикальное сжатие данных изображения алгоритмом RLE.
If (if) — слово в английском языке, имеющее значение — если.
Флорбо́л или хоккей в зале — командный вид спорта из семейства разновидностей хоккея с мячом. Играется в закрытых помещениях на твёрдом ровном полу пластиковым мячом, удары по которому наносятся специальной клюшкой. Цель игры: забить мяч в ворота соперника.
test — UNIX-утилита для проверки типа файла и сравнения значений. Возвращает код возврата 0 (истина) или 1 (ложь) в зависимости вычисления выражения expr. Выражения могут быть как унарными, так и бинарными. Унарные выражения часто используются для проверки статуса файла. Также допустимо сравнение чисел и строк.
«Тогда́ и то́лько тогда́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию, соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение русского языка «тогда и только тогда» определённую выше связку с её уже существующим смыслом. Конечно, ничто не может помешать нам читать эту связку именно как «тогда и только тогда», хотя это может иногда привести к путанице.
Логическая равнозначность или эквивале́нция — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная логическая операция обычно обозначается символом ≡ или ↔.
Go — компилируемый многопоточный язык программирования, разработанный внутри компании Google. Разработка Go началась в сентябре 2007 года, его непосредственным проектированием занимались Роберт Гризмер, Роб Пайк и Кен Томпсон, занимавшиеся до этого проектом разработки операционной системы Inferno. Официально язык был представлен в ноябре 2009 года. На данный момент поддержка официального компилятора, разрабатываемого создателями языка, осуществляется для операционных систем FreeBSD, OpenBSD, Linux, macOS, Windows, DragonFly BSD, Plan 9, Solaris, Android, AIX.. Также Go поддерживается набором компиляторов gcc, существует несколько независимых реализаций.
Предика́т в логике и лингвистике — сказуемое суждения, то, что высказывается о субъекте. Предикат находится с субъектом в предикативном отношении и показывает наличие (отсутствие) у предмета некоторого признака.
Меморандум :
- меморандум в международных либо экономических отношениях — дипломатический документ, обычно вручаемый лично представителю другой страны либо прилагаемый к дипломатической ноте, в котором подробно излагается фактическая сторона интересующего обе стороны вопроса, дается анализ тех или иных положений, приводится обоснование позиции государства ;
- в разных учреждениях — докладная записка, служебная справка;
- в торговле — письмо с напоминанием о чём-либо;
- в страховых полисах — перечисление опасностей, страхование от которых не производится;
- устанавливаемое компанией-дистрибьютором кинофильма ограничение по скидкам и акциям для кинопрокатчиков;
- вообще отметка всего достойного запечатления в памяти.
