Лисп — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов. Лисп был создан Джоном Маккарти для работ по искусственному интеллекту и до сих пор остаётся одним из основных инструментальных средств в данной области. Применяется он и как средство обычного промышленного программирования, от встроенных скриптов до веб-приложений массового использования, хотя популярным его назвать нельзя.
Коннекционизм — один из подходов в области искусственного интеллекта, когнитивной науки (когнитивистики), нейробиологии, психологии и философии сознания. Коннекционизм моделирует мыслительные или поведенческие явления процессами становления в сетях из связанных между собой простых элементов. Существует много различных форм коннекционизма, но наиболее общие используют нейросетевые модели. В рамках этого течения предпринимаются попытки объяснить умственные способности человека, используя искусственные нейронные сети. Философы начали проявлять интерес к коннекционизму, так как коннекционистский подход обещал обеспечить альтернативу классической теории разума и широко распространённой в рамках этой теории идеи, согласно которой механизмы работы разума имеют сходство с обработкой знакового языка цифровой вычислительной машиной. То, как именно и в какой степени парадигма коннекционизма составляет альтернативу классическим представлениям о природе разума, является предметом жарких споров, ведущихся в последние годы.
Тессера́кт — четырёхмерный гиперкуб, аналог обычного трёхмерного куба в четырёхмерном пространстве. Другие названия: 4-куб, тетраку́б, восьмияче́йник, октахо́р, гиперкуб. Тессеракт — один из шести правильных многоячейников в четырёхмерном пространстве.
Реляционная алгебра — замкнутая система операций над отношениями в реляционной модели данных. Операции реляционной алгебры также называют реляционными операциями.
F# — мультипарадигмальный язык программирования из семейства языков .NET, поддерживающий функциональное программирование в дополнение к императивному (процедурному) и объектно-ориентированному программированию. Структура F# во многом схожа со структурой OCaml с той лишь разницей, что F# реализован поверх библиотек и среды исполнения .NET. Язык был разработан Доном Саймом в Microsoft Research в Кембридже, в настоящее время его разработку ведёт Microsoft Developer Division. F# достаточно тесно интегрируется со средой разработки Visual Studio и включён в поставку Visual Studio 2010/2012/2013/2015/2017/2019/2022; разработаны также компиляторы для Mac и Linux.
Историческая, или диахроническая лингвистика — научная дисциплина, занимающаяся изучением языковых изменений с течением времени. Основными задачами этого направления лингвистики являются:
- объяснение изменений одного языка за некоторый период;
- реконструкция предыстории языков и определение их родства, в соответствии с которым они классифицируются по языковым семьям ;
- разработка общих теорий языковых изменений;
- изучение истории языковых сообществ;
- изучение истории слов, то есть их этимологии.
printf — обобщённое название семейства функций или методов стандартных или широко известных коммерческих библиотек, или встроенных операторов некоторых языков программирования, используемых для форматного вывода — вывода в различные потоки значений разных типов, отформатированных согласно заданному шаблону. Этот шаблон определяется составленной по специальным правилам строкой.
Байесовская сеть — графовая вероятностная модель, представляющая собой множество переменных и их вероятностных зависимостей по Байесу. Например, байесовская сеть может быть использована для вычисления вероятности того, чем болен пациент, по наличию или отсутствию ряда симптомов, основываясь на данных о зависимости между симптомами и болезнями. Математический аппарат байесовых сетей создан американским учёным Джудой Перлом, лауреатом Премии Тьюринга (2011).
Генерати́вная лингви́стика — направление в современном мировом языкознании, получило распространение с конца 1950-х годов, основоположник — Ноам Хомский (США). Эта теория считает вопросом лингвистики изучение гипотетической врождённой структуры языка. В 1960—1990-е годы генеративизм являлся наиболее влиятельным подходом в лингвистике.
Минимали́стская програ́мма — лингвистическая теория, предложенная американским лингвистом Н. Хомским для объяснения тех языковых феноменов, механизмы которых не были прояснены полностью в рамках теории принципов и параметров. Сама Минималистская программа содержит ряд сильных утверждений, касающихся универсальной грамматики, а также некоторые гипотезы об устройстве когнитивной системы в связи с врождённой языковой способностью. Главным методологическим принципом Минималистской программы является сокращение количества уровней в грамматике, что существенно отличает эту теорию от предшествующих версий порождающей грамматики (ПГ). Модифицируется механизм порождения: процесс уже не мыслится как запись на уровне D-структуры, а затем переход посредством трансформации на уровень S-структуры, где в соответствии с правилами грамматики оценивается его правильность. Вместо всего этого предлагается деривационная модель, характеризующая структуру предложения как последовательность шагов его построения из более простых фрагментов, причём каждый шаг может оцениваться как допустимый или недопустимый.
Верши́нное марки́рование — способ кодирования синтаксических отношений, при котором грамматические показатели, отражающие эти отношения, присоединяются к вершине синтаксической группы.
Глагольной группой в лингвистике называют синтаксическую единицу, состоящую из по меньшей мере одного глагола и его зависимых, таких как дополнения, комплементы и другие модификаторы. Исключение составляет подлежащее, не входящее в состав глагольной группы. Так, в предложении Толстый мужчина быстро положил бриллианты в коробку слова быстро положил бриллианты в коробку могут считаться глагольной группой, состоящей из глагола положил и его зависимых, но не включающей в себя подлежащее толстый мужчина. Таким образом, значение термина глагольная группа в некоторых контекстах совпадает с тем, что называют синтаксическим предикатом.
Именна́я гру́ппа — лингвистический термин, определяющий группу имён в форме словосочетаний, составляющих компонент иерархической структуры предложения, которые обладают синтаксическими свойствами существительного и в которых имя существительное является вершиной такой синтаксической группы, то есть главным словом, определяющим характеристику всей её составляющей.
В алгебре, многие алгебраические структуры имеют тривиальные, то есть простейшие объекты. Как множества, они состоят из одного элемента, обозначаемого символом «0», а сам объект — как «{0}», или просто «0» смотря по контексту. Объекты, соответствующие тривиальным случаям, важны для унификации рассуждений: например, удобнее сказать, что «решения уравнения T x = 0 всегда составляют линейное пространство», нежели делать оговорку «… либо множество {0}».
Game Maker Language (GML) — интерпретируемый язык программирования, разработанный для использования вместе с программой для разработки компьютерных игр, называемой Game Maker. Изначально поддержка языка была внедрена в Game Maker Марком Овермарсом для дополнения системы кнопочных событий, однако позже все кнопочные события были включены в GML, позволяя программисту избежать использования кнопочных функций. GML очень сильно связан со средой Game Maker. Game Maker организован так, чтобы не было необходимости программирования вручную таких вещей, как управление событиями, дизайн уровней и настройка объектов. Существует заблуждение, что GML поддерживает вставки фрагментов кода на других языках, таких как Pascal, Assembler или C++. Заблуждение возникло из-за частичной схожести синтаксиса GML с Pascal и C++. (Например, оператор «&&» может быть заменен на «and»).
Усечённый кубооктаэдр, усечённый кубоктаэдр — полуправильный многогранник с 12 квадратными гранями, 8 гранями в виде правильного шестиугольника, 6 гранями в виде правильного восьмиугольника, 48 вершинами и 72 рёбрами. Поскольку каждая из граней многогранника имеет центральную симметрию, усечённый кубооктаэдр является зоноэдром.
Система типов Си — реализация понятия типа данных в языке программирования Си. Сам язык предоставляет базовые арифметические типы, а также синтаксис для создания массивов и составных типов. Некоторые заголовочные файлы из стандартной библиотеки Си содержат определения типов с дополнительными свойствами.
Теоремы Пенроуза — Хокинга о сингулярности — это теоремы в общей теории относительности, которые пытаются ответить на вопрос, когда гравитация порождает сингулярности.
Ли́нза — в структуре галактик компонента с практически равномерным распределением поверхностной яркости, которая может быть заметна в области между балджем и диском. Вероятнее всего, эти структуры возникают при «размывании» баров.
