Курс лекций Защита Информации/Теорема Мак-Лина: различия между версиями

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 4:
<center><math>F_s(S) \ge F_o(O) и F=F*</math>, где <math>F_s:S→L F_o:O→L</math></center>
 
# если <math>F_s≠F_sF_s \ne F_s^*</math>, то
<center><math>M = M^* </math>, <math>F_o = F_o^* \forall S</math> и <math>O</math>, для которых <math>F_s^* (S) \le F_o^* (O)</math>, <math>read \notin M [S,O]</math></center>