Исследование Операций

- замкнутое подмногообразие У алгебраич. Многообразия Xопределенного над алгебраич. Замкнутым полем, к-рое при помощи некоторого собственного бирационального морфизма f . Может быть отображено на подмногообразие У меньшей размерности и при этом f :- изоморфизм. Морфизм f наз. стягиванием подмногообразия У на Y'=f(Y);это понятие является частным случаем понятия модификации алгебраич. Пространств [3]. В случае, когда X, Y, X' и Y' являются гладкими неприводимыми многообразиями, И. П. Yназ. Исключ..

- один из основных терминов классич. вероятностей теории. При аксиоматич. Подходе определяется как любое разбиение пространства элементарных событий на попарно непересекающиеся события, к-рые наз. "исходами испытания", а элементы порождаемой ими s-алгебры - "событиями, связанными с данными испытаниями". Термин "И." употребляется в основном в сочетаниях "повторные И.", "независимые И.", "И., связанные в цепь Маркова". Ю. В. Прохоров.. ..

- таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. Т. Имеет вид (см. Таблицу, Иозначает "истина", Л- "ложь"). Здесь А 1, ...,А п - пропозициональные переменные, ( А 1, ..., А n) - высказывательная форма, причем истинностное значение высказывания (А 1, ...,А п )определяется истинностными значениями высказываний А 1, ...,А п. Каждаястрока таблицы соответствует одной из 2n возможных комбинаций истинностных..

- одно из двух значений - "истина" (И)или "ложь" (Л),- которое может принимать данная логич. Формула в рассматриваемой интерпретации (модели). И. З. Ииногда в литературе обозначается также 1, Т, t, а И. З. Л- 0, F, f. Если в модели заданы И. З. Элементарных формул, то И. З. ||А|| всякой формулы Аопределяется индуктивно следующим образом (для классич. Логики). Иногда рассматриваются интерпретации, в к-рых логич. Формула, кроме Ии Л, может принимать и другие "промежуточные" И. З. В таких инте..