Xizmat ko’rsatishni rad etish

Usul buta voqealar

Hodisa buta usuli boshqa usullardan farq qiladi, chunki u asoslanadi yolg'on nazariya kolleksiyalar, lekin emas mantiq Va nazariya to'plamlar. To'plamlar nazariyasining aksiomatik taqdimoti K.A. ishida berilgan. Bug'doy [112-118].

Sintaksis buta voqealar
"Bush voqealar — ko'p daraxt, tuzilgan dan kasaba uyushmalari turi izhen, yon Va
davlat Va bog'lash ishlanmalar (aniqlangan ichida nazariyalar to'plamlar).

m
Ishlanmalar E bor faqat ko'rinish to'plamlar ichida buta voqealar: V=E . Tadbir belgilangan Qanday spetsifikatsiya Mavzu S , bo'ysunuvchi koinot belgilari P ^u ₁ , …, P ^u , orqali u bilan kesishganda P _m+1 , P _m+2 ,… , P _n-1 , P _{n ni oladi.} yoki ularning inkorlari Mavzu S , ~ ^S P _i , (bundan keyin ~ P _i ), m+1 i n :
𝐸 = 𝑆– 𝑃 ^𝑢 ₁ , … , 𝑃 ^𝑢 _𝑚 , (~)𝑃 _𝑚+1 , (~)𝑃 _𝑚+2 , … , (~)𝑃 _𝑛−1 , (~)𝑃 _𝑛 , (1.2) qayerda (~) “inkor bilan yoki holda" [112].
Ustida raqam 1.10 taqdim etdi arxitektura buta voqealar Va orientatsiya oqimlar. IN buta voqealar tashkil etilgan asosiy Har xil turdagi hodisalar o'rtasidagi munosabatlar (asosiy, ikkilamchi va uchinchi), lekin shuningdek imkoniyatini ko‘rsatdi ular yoki voqealar.

Rasm 1.10. Munosabatlar orasida turlari voqealar ichida buta voqealar [113]

3. 
   Ta'rif kasaba uyushmalari buta voqealar
   

Munosabatlar orasida voqealar amalga oshirildi kasaba uyushmalari. Ular bor spetsifikatsiyalar turlari voqealar.
ittifoq oqimlari Flux (rasm 1.11):

𝐸 _𝑖 𝐹𝑙𝑢𝑥 𝐸 _𝑗 . (1.3)

Rasm 1.11. Grafika yozuv ittifoq mehribon oqim (oqim) [116]

Da ittifoq oqimlari o'zgarmoqda pozitsiya ishlanmalar. Da bu mumkin uch variant (rasm 1.12):

1.12-rasm. Hodisa bushidagi izhen tipidagi 1-modda birlashmasining uchta varianti [116]: o'zgartirish davom etayapdi (a) dan asosiy tashqi uchun ikkinchi darajali voqea

(b) dan asosiy tashqi uchun uchinchi darajali (c) dan ikkinchi darajali uchinchi darajali

ittifoq ta'sir qilish Oqim (rasm 1.13):

𝐸 _𝑖 𝐸 _𝑗 𝐹𝑙𝑢𝑥 𝐸 _𝑘 . (1.4)
yoki S ₁ -P ^u ₁ , …, P ^u _m , Pm ₊₁ , Soat ₊₂ ,… , ~P _n-1 , ~P _n ^E2 Oqim S ₁ -P ^u ₁ , …, P ^u _m , Pm ₊₁ , Soat ₊₂ ,…
, P _n-1 , ~P _n

1.13-rasm. Ta'sir turidagi hodisalarning bog'lanishining grafik belgisi (oqim) [116]

Bir va bu bir xil voqealar to'plami va ular pozitsiya ustida pozitsiyalar ( ya ) ( ib ) ( ii ) Va
( iii ) balki bolmoq ishlatilgan uchun bino bir nechta butalar voqealar. Agar xuddi shu hodisadan E _{i bo'lganda vaziyat yuzaga keladi} bir tupga kiradi oqimning o'zgarishi E _i Flux E _i+1 , ikkinchisida - E _i Flux E _i+2 va hokazo, gacha Ei _{_} oqim E _n ichida oxirgi buta oila, tanishtirdi munosabat shoxlanish (furkatsiya) :
𝐸 _𝑖 𝐹𝑢𝑟𝑐𝑎𝑡𝑖𝑜𝑛 𝐸 _𝑖+1 , 𝐸 _𝑖+2 , . . . , 𝐸 _𝑛 . (1.5)

3. 
   Bush voqealar emas balki o'z ichiga oladi sikllar [112].
   

3.