TIN064 Vlastnosti mnoziny K
Z ωικι.matfyz.cz
Rekurzivni? NE, protoze $ \overline{K} $ neni rekursivne spocetna
Rekurzivne spocetna? ANO
Produktivni? NE - protoze kdyby byla produktivni a kreativni zaroven, znamenalo by to konec sveta
1-Uplna? ANO - dokazuje se pomoci triku s volnou promennou
Kreativni? ANO - protoze je to RSM a $ \overline{K} $ je produktivni