Ma’ruza 24: Rekrusiv to‘plam. Rekrusiv sanaluvchi to‘plam. Post teoremasi

Ma’ruza 24: Rekrusiv to‘plam. Rekrusiv sanaluvchi to‘plam. Post teoremasi

Reja:

1. 
   Rekursiv to`plamlar.
   
2. 
   Rekursiv sanaluvchi to`plamlar.
   
3. 
   Post teoremasi.
   

Rekursiv va rekursiv sanaluvchi to`plamlar va ularning xossalari

naturalsonlarto`plami N={0,1,2,…..n,…}ning qism to`plami bo`lsin.

1-ta’rif .

funksiya to`plamning harakteristik funksiyasi deyiladi. (82-83 bet)

Ushbu ta’rifdan to`plamning harakteristik funksiyasi hamma yerda aniqlangan funksiya ekanligini ko`ramiz.

2-ta’rif .Harakteristik funksiyasi umumrekursiv bo`lgan to`plam rekursiv to`plam deyiladi.

Xususan harakteristik funksiyasi primitiv rekursiv bo`lgan to`plam primitiv rekursiv to`plam deyiladi.