Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель под её управлением.
Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Функциона́льное программи́рование — парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних.
Хиральность — свойство молекулы не совмещаться в пространстве со своим зеркальным отражением. Термин основан на древнегреческом названии наиболее узнаваемого хирального предмета — руки. Так, левая и правая руки являются зеркальными отражениями, но не могут быть совмещены друг с другом в пространстве. Подобным образом, свойством хиральности обладают молекулы, в которых отсутствуют зеркально-поворотные оси симметрии Sn, что эквивалентно наличию в молекуле элементов хиральности: центра, оси, плоскости хиральности и др. Такие зеркально-симметричные формы химических соединений называются энантиомерами.
Знак решётки — символ; иные варианты названия: решётка, октото́рп, хештег, знак номера, дие́з, знак фунта.
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования.
Кро́млех — древнее сооружение, как правило, позднего неолита или раннего бронзового века, представляющее собой несколько поставленных вертикально в землю продолговатых камней, образующих одну или несколько концентрических окружностей.
Логоти́п — графический знак, эмблема или символ, используемый территориальными образованиями, коммерческими предприятиями, организациями и частными лицами для повышения узнаваемости и распознаваемости в социуме. Логотип представляет собой название сущности, которую он идентифицирует, в виде стилизованных букв и/или идеограммы. Как результат творческой деятельности автора (-ов) создания, выраженный в объективной форме, относится к объектам авторского права, охраняемым в соответствии с нормами международного права в области защиты прав интеллектуальной собственности. Логотип может стать товарным знаком после регистрации в соответствующей организации и получения на него охранного документа (свидетельства). При этом авторские права на логотип охраняются независимо от охраны исключительных прав на товарный знак и существуют параллельно с ними — как до такой регистрации, так и после нее.
D (Ди) — мультипарадигмальный статически типизированный компилируемый язык программирования, созданный Уолтером Брайтом из компании Digital Mars. Начиная с 2006 года соавтором также является Андрей Александреску. D является потомком языка C++, но существенно доработан по сравнению с ним. Также он заимствует ряд концепций из языков программирования Python, Ruby, C#, Java, Eiffel.
Структура данных — программная единица, позволяющая хранить и обрабатывать (машиной) однотипные и/или логически связанные данные. Для добавления, поиска, изменения и удаления данных структура данных предоставляет некоторый набор функций, составляющих её интерфейс.
Люй Дунбинь — даосский патриарх, а также легендарный исторический персонаж, причисленный к даосскому пантеону, входит в Восемь Бессмертных. Люй Дунбинь считается главным из Восьми Бессмертных. Имя от рождения Люй Янь. Он называл себя также Мастером Чистого Ян (Чуньян-цзы), в даосизме его называют также Патриархом Люй. Он родился в уезде Цзинчжао в современной провинции Хунань около 796 года при династии Тан. Его изображают с мечом, рассеивающим зло.
В отсутствие религиозной ортодоксии даосизм развивался как сложный комплекс, в котором взаимодействовали прикладные элементы, философия, эстетика и суеверия.
Шанци́н, «Школа Высшей Чистоты» — направление в даосизме, возникшее в конце IV века в Китае. Другое название школы — Маошань по имени горы, где находился центр этой школы. В истории школы можно выделить два периода - деятельность учеников матушки Вэй Хуацунь на горе Маошань, связанная с визуализацией духов и откровениями бессмертных, и восстановление школы Тао Хунцином после почти столетнего перерыва и упадка маошаней. Расцвет школы пришёлся на период с VI по X века, когда она стала самой влиятельной даосской школой.
Традиция считает основоположником даосизма легендарного Жёлтого Императора Хуан-ди. Другим основателем даосизма считается древнекитайский мудрец Лао-цзы. Даосской традицией ему приписывается авторство одной из основных книг даосизма Дао Дэ Цзин. Уже в раннем даосизме Лао-цзы становится фигурой легендарной, и начинается процесс его обожествления.
Синтаксис языка программирования — набор правил, описывающий комбинации символов алфавита, считающиеся правильно структурированной программой (документом) или её фрагментом. Синтаксису языка противопоставляется его семантика. Синтаксис языка описывает «чистый» язык, в то же время семантика приписывает значения (действия) различным синтаксическим конструкциям.
Шанцин — средневековый китайский городок в провинции Цзянси, в настоящее время — лесозаготовительный посёлок в городском уезде Гуйси городского округа Интань. Городок являлся центром даосизма — самой первой школы Пять Ковшей Риса, которая преобразовалась в Школу Небесных Наставников, а позднее в Школу Истинного Единства. Даосские храмовые комплексы в Шанцин входят в территорию Лунхушань. Основателем даосских школ и основных храмов был Чжан Даолин.
«Ари́йцы», «ари́йская ра́са» — псевдонаучный термин, раса, расовая группа, заявленная как включающая в себя индоевропейские народы и их предков. Часто утверждается, что «арийцы» физически и интеллектуально превосходят другие расы и являются культуртрегерами, распространителями высокой культуры и основателями великих цивилизаций древности и современности. Идея была выдвинута в XIX веке авторами расовых теорий, использовалась различными расистскими и антисемитскими авторами, была связана с нордизмом и получила широкое распространение в XX—XXI веках в рамках нацизма, определив его расовую теорию, неонацизма и неоязычества. В национал-социализме «арийцы» рассматривались как «раса господ», вершина «расовой иерархии». Идея «арийцев» или «арийской расы» противоречит данным антропологии, истории и археологии. Этот таксономический подход к классификации групп населения в настоящее время считается ошибочным и биологически бессмысленным из-за близкого генетического сходства и сложных взаимосвязей между группами. Современные учёные отвергли изоморфизм расы, культуры и языка как ошибочную концепцию.
Комбина́торное программирование — парадигма программирования, использующая принципы комбина́торной логики, то есть не требующая явного упоминания аргументов определяемой функции (программы) и использующая вместо переменных комбинаторы и композиции. Является особой разновидностью функционального программирования, но, в отличие от основного его направления, комбинаторное программирование не использует λ-абстракцию.
Линбао, иначе Школа Волшебной Яшмы или Школа Духовной Драгоценности — одна из основных школ даосизма, возникшая в Китае во времена династий Цзинь (265—420) и Лю Сун в начале V века. Школа Линбао существовала около двухсот лет, и после этого во времена династии Тан растворилась в школе Шанцин. Учение Линбао является синтезом религиозных идей школы Шанцин, ритуалов Школы Небесных Наставников и буддийских практик.
В информатике язык программирования имеет функции первого класса, если он рассматривает функции как объекты первого класса. В частности, это означает, что язык поддерживает передачу функций в качестве аргументов другим функциям, возврат их как результат других функций, присваивание их переменным или сохранение в структурах данных. Некоторые теоретики языков программирования считают необходимым условием также поддержку анонимных функций. В языках с функциями первого класса имена функций не имеют никакого специального статуса, они рассматриваются как обычные значения, тип которых является функциональным. Термин был впервые использован Кристофером Стрэчи в контексте «функции как объекты первого класса» в середине 1960-х.
