Суждение

78

предложение, утверждение, высказывание,- повествовательное сообщение, к-рое в силу своего смысла может быть истинным или ложным. В более узком значении термина под С. В математич. Логике понимается замкнутая формула логико-математич. Языка, к-рая в силу семантических соглашений языка, семантики языка, может быть квалифицирована как истинная или ложная. Так, в аксиоматич. Теории множеств различные математич. Утверждения, напр. Выбора аксиома или континуум-гипотеза, записываются в виде нек-рых формул, к-рые в силу общих семантических соображений могут быть истолкованы как выражающие соответствующие содержательные утверждения. При этом совершенно не обязательно, чтобы имелся способ распознавания истинных и ложных утверждений языка.

Более того, сама семантика может оказаться недостаточно разработанной или может встречаться с принципиальными трудностями при решении вопроса относительно истинности нек-рых С. Языка. Неразрешимость С. В рамках век-рой теории выясняется с помощью формализации метода (примеры см. В ст. Аксиоматическая теория множеств). А. Г. Драгалин.

Значения в других словарях
Судзуки Группа

- простая конечная группа, член бесконечной серии простых групп Sz (q), открытых М. Судзуки (М. Suzuki). Пусть n - натуральное число, F - конечное поле из q=22n+1 элементов, - такой автоморфизм поля F, что для любого Тогда С. Г. Sz (q) порождается подгруппой Т, состоящей из всех диагональных матриц порядка 4 с диагональными элементами подгруппой U, состоящей из всех треугольных матриц вида и матрицей Подгруппа U - силовская 2-подгруппа группы Sz(q). Она является Судзуки2 -группой. Под..

Судзуки Спорадическая Группа

простая конечная группа порядка 448 345 497 600=213 З 7 52 7 11 13, построенная М. Судзуки (М. Suzuki) как примитивная группа подстановок степени 1782 со стабилизатором точки, изоморфным Шевалле группе G2 (4). О других спорадических группах см. Спорадическая простая группа. ..

Сужение Представления

на инвариантное подпространство - то же, что подпредставление представления;С. П. Я группы Xна подгруппу Y(алгебры Xна подалгебру Y) - представление группы (алгебры) Y, определяемое формулой для всех С. П. наз. Также ограничением представления соответственно на инвариантное подпространство или на подгруппу, подалгебру. Если - непрерывное представление, то и С. П. также непрерывно. А. М. Штерн. ..

Сумматорная Функция

функции f - функция обозначающая сумму значений f(n) на множестве натуральных чисел С. Ф. Являются одним из основных средств выражения разнообразных свойств числовых последовательностей. Примеры С. Ф. Число простых чисел - Чебышева функция, число делителей всех и т. П. (см. [1], [2]). Основная задача состоит в том, чтобы найти возможно более точное асимптотич. Выражение С. Ф., а для С. Ф., не имеющей асимптотики, наилучшую оценку ее модуля для больших значений х. В основе аналитич. Методо..

Дополнительный поиск Суждение Суждение

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

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

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