Секвенциальная логика: различия между версиями

м
→‎Секвенция: оформление
(Спасено источников — 1, отмечено мёртвыми — 1. Сообщить об ошибке. См. FAQ. #IABot (v2.0beta15))
м (→‎Секвенция: оформление)
=== Секвенция ===
{{Другие значения|Секвенция}}
Секвенция ({{lang-la|sequentia – последовательность}}) — это последовательность пропозициональных элементов, представляемая упорядоченным множеством, например, <math>\left\langle x\right\rangle = \left\langle x_1\,x_2\,\ldots\, x_\mathrm n\right\rangle</math>, где <math>x_i\in\left \{0,1\right \}.</math>
 
упорядоченным множеством, например, <math>\left\langle x\right\rangle = \left\langle x_1\,x_2\,\ldots\, x_\mathrm n\right\rangle</math>, где <math>x_i\in\left \{0,1\right \}.</math>
 
Посредством секвенции реализуется двоичная функция <math>z=\varphi\left(\left\langle x\right\rangle\right)</math>, такая, что <math>z=1</math> имеет место только в случае