Ступенчатая Семантическая Система

97

вариант конструктивной семантики, предложенный А. А. Марковым (см. [2], [3]). Основное внимание при построении этой системы уделяется одной из проблем семантики - конструктивному истолкованию импликации. Традиционное интуиционистское разъяснение смысла утверждения состоит в том, что выражает осуществимость конструкции ртакой, что если q - произвольная конструкция, подтверждающая А, то ри gв совокупности позволяют отыскать конструкцию, подтверждающую В. Приведенное неформальное разъяснение по ряду причин плохо поддается уточнению. Идея А. А. Маркова состоит в том, что импликация рассматривается как формулировка утверждения о выводимости Виз посылки Асредствами нек-рой теории с правилом бесконечной индукции (полуформальной теории).

При этом рассматриваемая полуформальная теория, так же как и семантика формул Аи В, должна быть объяснена ранее на нек-ром предыдущем этапе построения. В результате возникает С. С. С., в к-рой смысл формул следующей ступени определяется в терминах объектов предыдущей ступени. А. А. Марков построил два эквивалентных варианта С. С. С.- лдлинная башня.

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

- критерий подобия нестационарных движений жидкостей или газов. С. Ч. Характеризует одинаковость протекания процессов во времени. где v- характерная скорость течения, l - характерный линейный размер, t - характерный для нестационарного движения промежуток времени, - характерная частота (иногда через Sh обозначают обратную величину vt/l). Аналогичный критерий H0=ut/l в механических, тепловых и электромагнитных процессах наз. Критерием гомохромности. С. Ч. Наз. По имени В. Струхаля (В. Строуг..

Струя

джет,- многочлен jkf, получающийся усечением (формального) ряда Тейлора дифференцируемой функции f. Подробнее, пусть М, N суть С k -многообразия. Тогда k-cтруей из Mв N наз. Класс [ х,f,U] эквивалентных троек ( х, f, U), где - открыто, - отображение класса С k. Эквивалентность определяется так. если х=х' и локальные представления отображений f, f' в хпо отношению к нек-рой паре карт имеют одинаковые производные до k-ro порядка включительно. Пространство С. Jk ( М, N )является C0 -многоо..

Стьюдента Критерий

T - критерий,- значимости критерий для средних значений нормальных распределений. Одновыборочный С. К. Пусть независимые случайные величины X1, X2, . ., Х п подчиняются нормальному закону, параметры к-рого аи неизвестны, и пусть проверяется сложная гипотеза против сложной альтернативы Для решения этой задачи используется С. К., основанный на статистике где - оценки параметров аи вычисленные по выборке X1, X2, . ., Х п. При справедливости гипотезы H0 статистика tn-1 подчиняется Стъю..

Стьюдента Распределение

с f степенями свободы, t-распределение, - распределение вероятностей случайной величины где U - случайная величина. Подчиняющаяся стандартному нормальному N(0, 1) закону, - случайная величина, не зависящая от Uи подчиняющаяся "хиквадрат. ..

Дополнительный поиск Ступенчатая Семантическая Система Ступенчатая Семантическая Система

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

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

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