ConceptProd/Exteor
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2796ffd5f3
Exteor/distr/app/Примеры/Конструкты/041 Фактор-структура (логическая).trs
IRBorisov 2796ffd5f3 Initial commit
2024-06-07 20:30:06 +03:00

1 line
5.0 KiB
Plaintext
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

෿__@VERSION@__῿Exteor 4.7.10.1200 - 05/28/2019ჿФактор-структураۿФакСтрÿ쳅呐˿X1ÿÿÿÿ߿объекты߿объектыÿÿÿÿÿÿÿÿÿÿÿÿ嬁嚾˿S1ÿ໿ℬ(ℬ(X1)×ℬ(X1))囿первое множество @{X1|gent|plur} содержит в разбиении второе множество @{X1|gent|plur}䣿первое множество объектов содержит в разбиении второе множество объектов᧿отношение фактор-множеств᧿отношение фактор-множествÿÿÿÿÿÿÿÿÿÿÿÿἠ˿P1 ÿ䳿[α∈ℬ(R1), β∈ℬℬ(R1)] card(β)>1 & red(β)=α & ∀ξ1∈β (ξ1≠∅ & ∀ξ2∈β\{ξ1} ξ1∩ξ2=∅)凿множество альфа разбитов подмножествами из бетта на непересекающиеся подмножества凿множество альфа разбитов подмножествами из бетта на непересекающиеся подмножестваᇿусловие разбиенияᇿусловие разбиенияÿÿÿÿÿÿÿÿÿÿÿÿ⏻⍀˿D1ÿ߿Pr1(S1)ÿÿჿфактор-множестваჿфактор-множестваÿÿÿÿÿÿÿÿÿÿÿÿČ˿D2ÿ߿Pr2(S1)ÿÿዿэлементы разбиенияዿэлементы разбиенияÿÿÿÿÿÿÿÿÿÿÿÿ䇚ऌ˿F1ÿ᣿[α∈D1] Pr2(Fi1[{α}](S1))ÿÿ᧿разбиение @{D1|gent|sing}᫿разбиение фактор-множестваÿÿÿÿÿÿÿÿÿÿÿÿ㊆皓˿F2ÿ᧿[α∈ℬ(D2)] Pr1(Fi2[α](S1))嫿@{D1|nomn|plur}, в разбиения которых входит хотя бы один из данного набора @{D2|gent|plur}忿фактор-множества, в разбиения которых входит хотя бы один из данного набора элементов разбиения⛿@{D1|nomn|plur} набора @{D2|gent|plur}⯿фактор-множества набора элементов разбиенияÿÿÿÿÿÿÿÿÿÿÿÿ頻痬˿A1ÿዿ∀α∈D1 P1[α, F1[α]]䗿@{D2|nomn|plur} каждого @{D1|gent|sing} удовлетворяют @{P1|datv|sing}䯿элементы разбиения каждого фактор-множества удовлетворяют условию разбиения᛿корректность разбиений᛿корректность разбиенийÿÿÿÿÿÿÿÿÿÿÿÿ贶劗˿A2ÿᇿcard(S1)=card(D2)䇿каждому @{D2|datv|sing} соответствует только одно @{D1|nomn|sing}䗿каждому элементу разбиения соответствует только одно фактор-множествоÿÿÿÿÿÿÿÿÿÿÿÿÿÿ揳㆛˿D3ÿ׿D2\D1⻿@{D2|accs|plur}, не являющиеся @{D1|ablt|plur}㓿элементы разбиения, не являющиеся фактор-множествами໿нижний уровень໿нижний уровеньÿÿÿÿÿÿÿÿÿÿÿÿ杂啯˿D4ÿ׿D1\D2ỿне разбиваемые @{D1|nomn|plur}῿не разбиваемые фактор-множества߿вершины߿вершиныÿÿÿÿÿÿÿÿÿÿÿÿ᭛廤˿A3ÿ᳿∀α∈D3 card(α)=1 & red(D3)=X1ÿÿ⃿условие разбиения нижнего уровня⃿условие разбиения нижнего уровняÿÿÿÿÿÿÿÿÿÿÿÿ됚仾˿F3ÿỿ[α∈D2] R{ξ:=F2[{α}] | ξ∪F2[ξ]}ÿÿ෿фактор-предки෿фактор-предкиÿÿÿÿÿÿÿÿÿÿÿÿ᥅̮˿P2 ÿ⳿[α∈ℬ(D2)] ∀ξ1,ξ2∈α card(F3[ξ1])=card(F3[ξ2])ÿÿ໿фактор-уровень໿фактор-уровеньÿÿÿÿÿÿÿÿÿÿÿÿ覫夕˿A4ÿۿP2[D3]ÿÿ᣿одноранговость разбиений᣿одноранговость разбиенийÿÿÿÿÿÿÿÿÿÿÿÿĀ㘀鞍<E39880>
Reference in New Issue View Git Blame Copy Permalink