Dəqiqləşdirlmiş imtahan sulları
Fənnə giriş ,riyazi məntiq,bul funksiyalarının və qraflar nəzriyyəsinin tətbiq sahələri.
Mülahizə anlayışı.Ona aid misallar(4 problemin izahı).
Mülahizələr və onlar üzərində ilkin əməliyyatların , , doğruluq cədvəlləri. (X (Y Z)) Y doğruluq cədvəlini qur
Propozosional formulalar tərifi və onların doğruluq cədvəlləri. Doğruluq cədvəlini qurun ((XY) (YZ)) Z
Propozosional formulaların mötərizəyə alınması və azaldılması alqoritmləri.Misallarla izahı
Tavtaloqiyalar,zidiyyətlər və ödənilə bilən formulalar Tavtalogiyaların əsas qanunları .
Əgər A B və A tavtologiyadırsa onda B tavtologiyadır teoreminin isbatı Əvəz etmə prinsipi və ondan çıxan nəticə Ekvivalent formulalar. və ekvivalent olduqlarını göstərin..
Dizyunktiv cəm və ona aid teoremin isbatı. Konyuktiv hasil və ona aid teorem.
Gətirilmiş formula ,ona aid teorem və qurulma alqoritmi . ((A®B) ®(CÚ(A®C))) gətirilmiş formulasını tap.
Dizyunktiv normal formula ,ona aid teorem və qurulma alqoritmi. DNF tap ((XY) ( )) Z
Konyuktiv normal formula , ona aid teorem və qurulma alqoritmi. KNF tap
Mükkəmməl konyuktiv normal formula ,ona aid teorem və qurulma alqoritmi.
İxtiyarı dogruluq funksiyasının propozosoional formula vasitəsi ilə ifadə olunmasına aid teoremin isbatı .
İxtiyari doğruluq funksiyasının əməliyyatları vasitəsi ilə verilməsinə aid nətucənin isbatı
Şeffer funksiyalası haqqında teoremin isbatı..
Pirs funksiyası haqqında teoremin isbatı..
Şeffer və Pirs funksiyalarının yeganəliyi haqqında teoremin isbatı..
İkilik prinsipi ,ona aid teorem. F= ). isbat et.
Bul funksiyalarının tərifi və cədvəli,fiktiv dəyişən,iki bul funksiyasını bərabərliyi,tərtibi və n tərtibli bul funksiyalrın sayı.
0,1,2 tərtibli bul funksiyalarının təsviri.
Bul funksiyalarının əsas ekvivalentlikər.
Bul funksiyalarını tam sitemi və ona aid misallar.Tam sistemlərə aid misallar.
Jeqalkin cəbri və polinomu. Jeqalkin cəbri (dolu) tam system təşkil edir teoremin isbatı
Kombinatorika.Cəm qadası və ona aid 3 dayaq məsələsinin həlli
Kombinatorika.Hasil qaydası və ona aid 3 dayaq məsələsinin həlli
Təkrarsız arenjeman hesablanması düsturları və ona aid 3 dayaq məsələsinin həlli
Təkrarlı arenjeman, hesablanması düsturu və ona aid 3 dayaq məsələsinin həlli.
Təkrarsız permutasion hesablanması düsturu və ona aid 3 dayaq məsələsinin həlli..
.Təkrarlı permutasion hesablanması düsturu və ona aid 3 dayaq məsələsinin həlli
Təkrarsız kombinizon hesablanması düsturu və ona aid 3 dayaq məsələsinin həlli.
Təkrarlı kombinizon hesablanması düsturu və ona aid 3 dayaq məsələsinin həlli.
Qraflar və onların qrafik təsviri.
Qraflar nəzəriyyəsinin əsas anlayışları.
Qrafın qonşuluq matrisi vasitəsi ilə verilməsi.
Qrafın təpələrinin qonşuliq siyahısı ilə verilməsi.
İnyektiv,suryektiv və biyektiv inkas.Qrafların izomorfiz olmasının tərifi. izomorf olması, qrafları
Qrafların izomorf olmasının tərifi. Deməli G5 və G6 qrafları izomorf olmamasının göstərilməsi. Qrafların izomorfizm olması üçün zəruri və kafi şərt.
Altqraflar və onların növləri,sayları haqqında teoremlər.
Marşrutlar, zəncirlər və dövrlər. Qraf qurub, onun üzərində bu anlayışları nümayiş etdirmək.
Əlaqəli qraflar.Qrafların əlaqəlik kompanetləri və körpü.Misallarla izahı
Ağaclar və onun haqqında teorem. Qraf qurub, onun üzərində bu anlayışları nümayiş etdirmək.
Ağacın kökünün tərifi,ona aid iki misal.Meşənin tərifi.
Eyler zənciri və dövrü.Eyler teoremi.
Planar qraflar. və Planar qraflar üçün Pontryagin-Kuratovski teoremi.
Qrafın üzü.Ona aid misalda qrafın üzlərini göstərmək.Planar əlaqəli qraf üçün Eyler teoremi.Misalda nümayiş etdirmək.