- семантически формальный язык
- мат. semantic-formal language
Большой англо-русский и русско-английский словарь. 2001.
семантически формальный язык
Смотреть что такое "семантически формальный язык" в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Языкознание — (языковедение, лингвистика) наука о естественном человеческом языке вообще и о всех языках мира как индивидуальных его представителях. Место языкознания среди других наук. Языкознание и социальные науки. Поскольку язык является важнейшим… … Лингвистический энциклопедический словарь
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Именной класс — Число родов или классов в отдельных языках Именной класс лексико грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном… … Википедия
Именные классы — Число родов или классов в отдельных языках Именной класс лексико грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном… … Википедия
Классы именные — Число родов или классов в отдельных языках Именной класс лексико грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном… … Википедия
Морфология (лингвистика) — У этого термина существуют и другие значения, см. Морфология. … Википедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
