Diskret matematika va matematik mantiq fanidan mustaqil ish mavzulari

Diskret matematika va matematik mantiq fanidan mustaqil ish mavzulari

1. 
   Predikatlar algebrasi. Predikatlar va kvantorlar.
   
2. 
   Predikatlar algebrasinig formulalari.
   
3. 
   Predikatlar algebrasi formulalarining teng kuchli formulalari
   
4. 
   Predikatlar algebrasi formulalarining normal formalari.
   
5. 
   Predikatlar hisobi.
   
6. 
   Yechilish, ziddiyatsizlik, to‘liqlilik va erkinlik muammolari.
   
7. 
   Tyuring mashinasi.
   
8. 
   Minimizatsiya operatori.
   
9. 
   Primitiv rekursiv funksiyalar.
   
10. 
    Rekursiv va rekursiv sanaluvchi to‘plamlar.
    
11. 
    Norekursiv sanaluvchi to’plamlar. To’xtash muammosi
    
12. 
    Algoritmik yechilmas muammolar.
    
13. 
    Qisman rekursiv va rekursiv funksiyalar.
    
14. 
    Samarador va kreativ to‘plamlar. Immun va oddiy to’plamlar.
    
15. 
    Sanaluvchi to’plamlar panjarasi. 1 va m- keltirmoqlik.
    
16. 
    Maxil teoremasi. Algoritmik darajalar.
    
17. 
    Solishtirilmaydigan sanaluvchi Tyuring darajalari
    
18. 
    Jegalkin ko‘pxadi. Monoton bul funksiyalari
    
19. 
    Kombinatorika asoslari.
    
20. 
    “Kaptar uyasi” prinsipi. O’rinlashtirishlar va o’rin almashtirishlar.
    
21. 
    Kombinatsiyalar. Rekurent munosabatlar.
    
22. 
    Graflar, izomofizm, tiplar, bog’lanishlik.
    
23. 
    Eyler va Gamilton graflari.
    
24. 
    Daraxtlar va ularning tadbiqlari.
    
25. 
    Daraxtlarda yurish, tayanch daraxtlar.
    
26. 
    Algoritm tushunchasi. Hisoblanuvchanlik.
    
27. 
    Mulohazalar hisobi uchun aksiomalar sistemasi. Deduksiya teoremasi. Keltirib chiqariladigan formulalar.
    
28. 
    Nazariya uchun Gyodelning to‘liqlik haqidagi teoremasi.