Kurs ishi uchun mavzulari

---

Kurs ishi uchun mavzulari: 

1.  İkkilamchilik printsipi.  

2.  Kortejlar.  

3.  Munosabatlar. 

4.  Kombinatorika haqida umumiy tushunchalar. Asosiy kombinatsiyalar. 

5.  Paskal uchburchagi. Nyuton-Binomi 

6.  Takrorli kombinatsiyalar. 

7.  Fibonachchi sonlari. 

8.  Bwlaklashlar kombinatorikasi 

9.  Hosil qiluvchi funktsiyalar. 

10.  Mulohazalar algebrasi. 

11.  Formula va teng kushlilik tushunchasi. 

12.  Asosiy teng kushli formulalarga doir teoremalar. 

13.  Formulalarning normal shakllari. 

14.  Formulalarning maksimal normal shakllari. MDNSh. MKNSh. 

15.  Formulalarini tiklash va ularning chinlik twplami. 

16.  Bul algebrasi.  

17.  Funktsional epiq sistemalar. Post teoremasi. 

18.  Mulohazalar hisobi. Keltirib chiqarish qoydalari. 

19.  Mulohazalar hisobida ayrim mantiq qoydalarini isbotlash.  

20.  Mulohazalar algebrasi va mulohazalar hisobi orasidagi munosabatlar. 

21. Mulohazalar hisobining echilishi, zidsizligi va twliqliligi  muammolari.  

22.  Predikatlar mantiqi. Wmumiylik va mavjudlik kvantorlari. 

23.  Predikatlar mantiqining teng kushli formulalari.  

24.  Predikatlar mantiqining tadbigi. Aksiomatik predikatlar hisobi. 

25.  Predikatlar hisobining echilishi, zidsizligi va tuliqliligi muammolari.  

26.  Matematik nazariyalar haqida tushunchalar. 

27.  Matematik mantiqning texnikaga tadbiqlari 

28.  Rele-kontaktli sxemalar 

29.  Matematik mantiq funktsiyalarini minimallashtirish muammolari. 

30.   Uz-uziga ikkilamchi funktsiyalar sinfi 

31.   Funktsiyalar sistemasining twliqliligi va epiqligi 

32.   Monoton va chiziqli funktsiyalar sinfi 

33.   Funktsiyalar sistemasi twliqligining zaruriy va etarli sharti 

34.   Twliqlik va epiqlik sistemalar 

35.   Ahamiyatli epiq sistemalar. Twliqliq haqida teoremalar 

36.   Graflar nazariyasining elementlari 

---

37.   Marshrutlar va zanjirlar 

38.   Eyler va Gamilton graflari. 

39.   Daraxtlar va tarmoqlarning qwllanishlari. 

40.   Rekursiv  va  rekursiv sanab chiqariluvchi funktsiyalar. 

41.  Echilish, ziddiyatsizlik, tuliqlilik va erkinlik muammolari 

42.  Birinchi  tartibli  til.  Mantiqiy  aksiomalar.  Xos  aksiomalar.  Keltirib 

chiqarish qoidalari 

43.  İsbotlash tushunchasi. Teorema 

44.  Birinchi tartibli nazariyada echilish, ziddiyatsizlik va tuliqlik muammolari 

45.  Nazariya tilining interpretatsiyasi. Nazariyaning modeli  va  hakozolar.