Post teoremasi
emil postpost teoremasiasosiy g'oyalari
11 betPPTX56 ko'rildi0 marta sotilgan
4 000 so'm
Brend Uz2229 ta hujjat sotilgan
Tavsif
Post teoremasi: arifmetik iyerarxiyani Turing sakrashlari orqali belgilaydi. Har bir n≥1 uchun Σ_n^0 to'plamlari ∅^(n−1) ga nisbatan rekursiv ravishda sanaluvchi (r.e.) bo‘ladi; Π_n^0 ularning inkoridir; Δ_n^0 ham Σ_n^0 ham Π_n^0 bo‘lib, ∅^(n−1) ga nisbatan hisoblanadigan to‘plamlardir. Shu bilan arifmetik iyerarxiya darajalari Turing sakrashlari bilan mos keladi
Hujjat haqida
- Kategoriya
- Taqdimotlar | Informatika va AT
- Format
- PPTX
- Hajmi
- 11 bet
- Fayl hajmi
- 1.44 MB
- Muallif
- Brend Uz
- Qo'shilgan
- 08.02.2026
