- синтаксический метаязык
- мат. syntactical metalanguage
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ISO/IEC 14977:1996 — изд.1 F JTC 1/SC 22 Информационные технологии. Синтаксический метаязык. Расщиренная БНФ раздел 35.060 … Стандарты Международной организации по стандартизации (ИСО)
СЕМАНТИКА — раздел семиотики, в котором изучаются значение и смысл различных знаковых форм, в т. ч. и языковых знаков и выражений. Выделение С. в качестве части семиотики, наряду с теорией синтаксиса синтактикой и теорией употребления знаков прагматикой… … Современный философский словарь
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
МЕТАТЕОРИЯ — теория, анализирующая различные свойства, структуру, закономерности, методы и приемы исследования другой теории, называемой объектной или предметной. М. выполняет методологическую функцию по отношению к определенной научной области. М. главным… … Новейший философский словарь
Перегрузка операций — (операторов, функций, процедур) в программировании один из способов реализации полиморфизма, заключающийся в возможности одновременного существования в одной области видимости нескольких различных вариантов операции (оператора, функции или… … Википедия
Перегрузка функций — Перегрузка операций (операторов, функций, процедур) в программировании один из способов реализации полиморфизма, заключающийся в возможности одновременного существования в одной области видимости нескольких различных вариантов операции (оператора … Википедия
Переопределение операторов — Перегрузка операций (операторов, функций, процедур) в программировании один из способов реализации полиморфизма, заключающийся в возможности одновременного существования в одной области видимости нескольких различных вариантов операции (оператора … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
Модель — (франц. modèle, от лат. modulus мера) в языкознании 1) искусственно созданное лингвистом реальное или мысленное устройство, воспроизводящее, имитирующее своим поведением (обычно в упрощённом виде) поведение какого либо другого («настоящего»)… … Лингвистический энциклопедический словарь
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия