Предметный Язык

- язык, являющийся предметом изучения. При формализации какой-либо содержательной теории различают два языка. Один - это язык формализуемой теории, или П. Я., задаваемый правилами построения выражений П. Я. И семантическими правилами, определяющими, что обозначают его выражения или какие они выражают суждения. Другой - это язык, на к-ром формулируются упомянутые выше синтаксические и семантич. Правила. Этот язык наз. метаязыком. Обычно метаязык не формализуется. Однако и его можно формализовать, и тогда он станет П. Я., для изучения к-рого требуется новый метаязык. Лит.:[1] Клини С. К., Введение в метаматематику, пер. С англ., М., 1957. В. Н. Гришин.

Значения в других словарях

Математическая энциклопедия

Предметная Область

универсум,- термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается множеством L = {P0, ..., Р п, ..., F0, ..., Fm,...}, где Р 0 ,..., Р n ,. - предикатные символы, a F0 ,..., Fm,. - функциональные символы, для каждого из к-рых указано число его аргументных мест. Модель (или алгебраич. Система) для Lзадается непустым мн..

Математическая энциклопедия

Предметная Переменная

то же, что индивидная переменная. См. Также Предикатов исчисление. ..

Математическая энциклопедия

Преднорма

- то же, что полунорма. ..

Математическая энциклопедия

Предпорядок

квазипорядок, предупорядоченность, квазиупорядоченность, - рефлексивное и транзитивное бинарное отношение на множестве. Если есть П. На множестве М, то отношение и , является отношением эквивалентности на М. При этом П. индуцирует порядок на фактормножестве М/~. Т. С. Фофанова. ..

Дополнительный поиск Предметный Язык

Топ просмотров

Кударь, Петр Сергеевич / Аникин / Работа / Обворожить / Привередливый / Печенье домашнее / Мимо яблоньки яблочко не падает. / Ехало болело / Сесть на шею / Хуеплёт / Попутать берега / Ай, Моська! знать она сильна, Что лает на слона / Оразмухамедов / Где цветок, там и медок. / Ехал прямо, да попал в яму. / Воробью по колено / Хмырь / Без четырех углов изба не рубится. / Чёрта в ступе / Потерять голову / Молодец! Возьми с полки пирожок с гвоздями (с котятами) / Да будет стыдно тому, кто об этом дурно думает / Чувырла / Мелко плавать - дно задевать. / Топорная работа / Уме недозрелый, плод недолгой науки! / Пень не околица, глупая речь не пословица. / Фитуни, Леонид Леонидович / Ириней Лионский / Всякая лиса свой хвост хвалит.

Добавить комментарий

Для добавления комментария необходимо пройти авторизацию или регистрацию.

Комментарии

Комментариев пока нет

На нашем сайте Вы найдете значение "Предметный Язык" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Предметный Язык, различные варианты толкований, скрытый смысл.

Первая буква "П". Общая длина 15 символа

Угадай синоним...

& Суть игры

Угадайте следующее слово, по смыслу схожее с нижеприведенными

Багровый, алый

Введите следующее слово: 7 букв

Коментарии к словам

чо 13 окт. 2023 г., 20:02:07

3 целых1\8 +1/12-1/3 черта 7,3 0,4*8,5 ..

Вырожденное Гипергеометрическое Уравнение

Антон 4 сент. 2022 г., 10:11:57

Демонтаж сенажных башен , консультации по разборке сенажных башен, помощь в составлении договора подряда на выполнение работ по демонтажу сенажных башен с выездом на место +375(29)9082408 +375(29)8108370 ( Вацап, Вайбер) Антон ..

Сенажная башня

Антон 4 сент. 2022 г., 10:04:01

Разберу сенажную башню по договору подряда( за180 000₽ за большую,60 000₽ за малую) , либо проведу платную консультацию по разбору с возможным выездом за 60 000₽ , мой телефон для связи +375(29)9082408 +375(29)8108370( Вайбер, Вацап)..

Степан 18 янв. 2022 г., 13:33:10

Добрый день, меня зовут Степан. Нас заинтересовал Ваш сайт. Мы хотели бы с вами поработать на взаимовыгодных условиях. К примеру мы бы хотели разместить статью или новость на вашем сайте про наш сайт. Скажите это возможно? Какие еще варианты у вас ес..

Абашидзе

Ирина 28 сент. 2021 г., 17:14:55

Добрый день, меня зовут Ирина. Нас заинтересовал Ваш сайт. Мы хотели бы с вами поработать на взаимовыгодных условиях. К примеру мы бы хотели разместить статью или новость на вашем сайте про наш сайт. Скажите это возможно? Какие еще варианты у вас ест..

Alveococcus multilocularis