Modul / fan sillabusi matematika fakulteti

30-mavzu. Kvantor va ularning xossalari

31-mavzu. Predikatlar mantiqiy formulalari

32-mavzu. Predikatlar mantiqi formulasining normal shakli.

33-mavzu. Bajariluvchi va umumqiymatli formulalar

34-mavzu. Predikatlar mantiqi formulasining qiymati tushunchasi

35-mavzu. Predikatlar mantiqida ham tengkuchli formulalar

36-mavzu. Matematik nazariyalar. Terminlar va formulalar. Tillar va Modellar

37-mavzu. Algoritm tushinchasi va ularning asosiy xususiyatlari

38-mavzu. Yechiluvchi va sanaluvchi to’plamlar.

39-mavzu. Hisoblanuvchi funksiyalar Sonli funksiyalar

40-mavzu.Tyuring mashinasi. Primitiv rekursiv funksiyalar.

41-mavzu. Qisman rekursiv va rekursiv funksiyalar Rekursiv to’plam. Rekursiv sanaluvchi to’plam

42-mavzu. Tyuring mashinalarini kodlash. Formal til va grammatika.

43-mavzu. Graflar nazariyasi haqida umumiy ma’lumotlar.

44-mavzu. Graflarning berilish usullari Graflarning geometrik ifodalanishi,

45-mavzu. Graflarning ko’phad yordamida berilishi, matrisalar yordamida berilishi.

Eyler graflari.Gamilton graflari

2.