Предика́т — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. В лингвистике субъекту соответствует подлежащее, а предикату — сказуемое.
Семанти́ческая сеть — информационная модель предметной области, имеет вид ориентированного графа. Вершины графа соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть: понятия, события, свойства, процессы. Таким образом, семантическая сеть — это один из способов представления знаний.
Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Сочинение отличается от подчинения, которое определяется как неравноправная связь, односторонняя зависимость одного компонента связи от другого.
Предметно-ориентированный язык — компьютерный язык, специализированный для конкретной области применения. Построение такого языка и/или его структура данных отражают специфику решаемых с его помощью задач. Является ключевым понятием языково-ориентированного программирования.
Член предложе́ния — синтаксическая функция слов и словосочетаний в предложениях. Выделяют главные и второстепенные члены предложений.
О́льга Никола́евна Селиве́рстова — советский и российский лингвист, доктор филологических наук, профессор. Труды по общей семантике, семантике служебных слов и местоимений, актуальному членению предложения, английской и русской лексикологии.
Вале́нтность в синтаксисе — способность слова образовывать синтаксические связи с другими элементами, например, валентности глагола дать определяют способность сочетаться с подлежащим, прямым дополнением, косвенным дополнением: Я даю ему книгу.
Предикативы — слова, обозначающие статическое состояние и выступающие в функции сказуемого (предиката) безличного предложения. Термин «предикатив» был введён чешскими лингвистами во второй половине XX века и применялся к той группе слов, которая в русской лингвистической литературе ранее получила название «категория состояния».
Квантор всеобщности — условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных элементов из указанного множества. Формально это квантор, используемый для обозначения того, что множество целиком лежит в области истинности указанного предиката. Читается как «для всех…», «для каждого…», «для любого…» или «все…», «каждый…», «любой…».
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Порожда́ющая сема́нтика, генерати́вная семантика — одно из направлений в теории трансформационных порождающих грамматик, ставившее целью построить модель языка по схеме «от значения к тексту» и «от текста к значению». Представляла собой частный метод грамматического описания.
Преобразователи предикатов — расширение логики Флойда-Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка программирования соответствует преобразователь предиката, т. е. полное функциональное соответствие между двумя предикатами в пространстве состояний программы.
Сирконста́нт, или адъю́нкт — в языкознании: слово-терм, зависимое от предикатного слова, и заполняющее его активную синтаксическую валентность, но не соответствующее никакой его семантической валентности и соответственно не отражаемое в толковании глагола в виде переменной. Сирконстанты обозначают разнообразные обстоятельства определяемой главным словом ситуации.
Семантическая роль имени при предикате — в языкознании: часть семантики предиката, отражающая общие свойства аргумента предиката — участника называемой предикатом ситуации. Описание в терминах семантических ролей отражает сходства моделей управления различных предикатных слов.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Сло́во — наименьшая единица языка, служащая для именования предметов, качеств, характеристик, взаимодействий, а также для служебных целей.
Дифференцированное маркирование объекта, или вариативное маркирование дополнения — широко распространенный в языках мира феномен, когда выбор морфосинтаксического оформления объекта определяется значением одного или нескольких признаков объектной именной группы или глагольной группы в целом.
Логика высшего порядка в математике и логике — форма предикатной логики, которая отличается от логики первого порядка дополнительными предикатами над предикатами, кванторами над ними, и, соответственно, более богатой семантикой. Логики высшего порядка с их стандартными семантиками более выразительны, но их модельно-теоретические свойства значительно более сложны для изучения и применения по сравнению с логикой первого порядка.