Mustaqil ish mavzulari Qisman tartiblangan to’plamlar

---

Mustaqil ish mavzulari 

1. Qisman tartiblangan to’plamlar  

2. Tupik normal formalar.  

3. Minimallashtirish muammosi.  

4. Boshqa aksiomatik nazariyalar.  

5. Deduksiya teoremasining tatbiqlari.  

6. Muhim yopiq sinflar va ularga doir lemmalar.  

7. Post teoremasi tatbiqlari.  

8.  Cheklangan kvantorlar. Mantiqiy kvadrat.  

9.  Formulalarning normal kanonik formalari.  

10.  Maxsus binar munosabatlar soni.  

11.  Fibonachchi sonlari.  

12. Mantiq qonunlari 

13. Katalana sonlari.  

14.  To’plamlarning turli vakillari sistemasi.  

15.  Kyoning va berje graflari.  

16.  Graflarning bog’liqligi.  

17.  Maksimal oqim topish masalasi.  

18.  Kommivoyajer masalasi.  

19. Transversal sistemalar. 

20. Mantiqiy ekvivalent formulalar. 

21. Formulalarning normal shakllari. 

22. Teng kuchli formulalarga doir teoremalar tadbiqlari. 

23. Formulaning chinlik to‘plami. 

24. Mulohazalar algebrasi funksiyalari. 

25. Bul algebrasi tadbiqlari. 

26. Ikki taraflamalik qonuni. 

27. Jegalkin ko’phadi. 

28. Mantiq algebrasidagi monoton funksiyalar. 

---