27 may son variannDİskret riyaziyyat fəNNİ ÜZRƏ İmtahan sullari. Qeyd. Suallarda formula ilə proporsional formalar ekvivalent anlayışlardır

27 may son variannDİSKRET RİYAZİYYAT FƏNNİ ÜZRƏ İMTAHAN SULLARI .

Qeyd.Suallarda formula ilə proporsional formalar ekvivalent anlayışlardır.

1. 
   Mülahizələr və onlar üzərində ilkin əməliyyatların doğruluq cədvəlləri. (X  (Y  Z))  (Y T) doğruluq cədvəlini qur.
   
2. 
   Propozosional formalar tərifi və onların doğruluq cədvəlləri. Doğruluq cədvəlini qurun ((XY) (YZ))  ((A Y) Z))
   
3. 
   Tavtalogiyaların qanunları. Doğruluq cədvəlini qurun(A B) ((A C) (A (BÙC))
   
4. 
   Əgər A B və A tavtologiyadırsa onda B tavtologiyadır teoreminin isbatı.Əvəz etmə prinsipi. və doğruluq cədvəllərinə əsasən ekvivalent olduqlarını göstərin.
   
5. 
   Propozosional formaların mötərizəyə alınması və azaldılması alqoritmləri.
   
6. 
   Dizyunktiv cəm və ona aid teoremin isbatı..
   
7. 
   Konyuktiv hasil və ona aid teoremin isbatı..
   
8. 
   Dizyunktiv normal forma və ona aid teorem və qurulma alqoritmi. DNF tap ((X®Y) ®( )) ÙZ
   
9. 
   Konyuktiv normal forma və ona aid teorem və qurulma alqoritmi. KNF tap ) C
   
10. 
    Mükkəmməl konyuktiv normal forma və ona aid teorem və qurulma alqoritmi.
    
11. 
    İkilik prinsipi ,ona aid teorem. F= ). isbat et.
    
12. 
    İxtiyarı dogruluq funksiyasının propozosoional formula vasitəsi ilə ifadə olunmasına aid teoremin isbatı .
    
13. 
    İxtiyari doğruluq funksiyasının əməliyyatları vasitəsi ilə verilməsinə aid teoremin isbatı
    
14. 
    Şeffer funksiyalası haqqında teoremin isbatı..
    
15. 
    Pirs funksiyası haqqında teoremin isbatı..
    
16. 
    Predikatlar ,ümumilik , varlık kvantorları.
    
17. 
    Birinci tərtib nəzəriyyənin formulları,sərbəs və bağlı dəişənlər.Onlara aid ekvivalentliklər
    
18. 
    Gətirilmiş formulalar, ,alınma qaydası. Gətirilmiş formasını tapın .
    
19. 
    Normal formalar, alınma qaydası.Normal formasını tapın:
    

1

20. 
    Bul funksiyaları və bul formulalrı
    
21. 
    Bul funksiyaları .Jeqalkin polinimu və ona aid teoremin isbatı
    
22. 
    Mülahizələr cəbrinin,predikatlat hesabının və bul funksiyalarının kompüterlərin aparat tətbiqləri1
    
23. 
    Mülahizələr cəbrinin,predikatlat hesabının və bul funksiyalarının kompüterlərin proqram təminatında tətbiqləri
    
24. 
    Binar münasibətlər və xassələri. Onlara aid misallar
    
25. 
    Kombinatorika. Cəm,vurma prinsipləri və onlara aid 3 dayaq məsələsinin həlli
    
26. 
    Təkrarsız permutasion hesablanması düsturu və ona aid 3dayaq məsələsinin həlli.
    
27. 
    Təkrarlı permutasion hesablanması düsturu və ona aid 3dayaq məsələsinin həlli
    
28. 
    Təkrarsız kombinizon hesablanması düsturu və ona aid 3dayaq məsələsinin həlli
    
29. 
    Təkrarlı kombinizon hesablanması düsturu və ona aid 3dayaq məsələsinin həlli1
    
30. 
    Təkrarsız arenjeman hesablanması düsturları və ona aid 3dayaq məsələsinin həlli
    
31. 
    Təkrarlı arenjeman hesablanması düsturu və ona aid 3dayaq məsələsinin həlli.əə ona aid mianinqapalılığı və
    
32. 
    Qraflar və onların qrafik təsviri..1
    
33. 
    Qraflar nəzəriyyəsinin əsas anlayışları.
    
34. 
    Qrafların matrislər vasitəsi ilə verilməsi üsulları.1
    
35. 
    Qrafların izomorfizmi.
    
36. 
    Altqraflar və onların növləri.
    
37. 
    Marşrutlar, zəncirlər və dövrlər. Qraf qurub, onun üzərində bu anlayışları nümayiş etdirmək.
    
38. 
    Ağaclar və onların xassələri. Qraf qurub, onun üzərində bu anlayışları nümayiş etdirmək.
    
39. 
    Eyler zənciri və dövrü.
    
40. 
    Post teoremi və ondan çıxan nəticələr.
    

1. 
   Planar qraflar və onların xassələri.kas, iniorma və ona aid teorem.İ((XY) (YT)) ((A T) Z) formulanın MKNF tap ,izahatlı.
   
2. 
   ((B T) (CT)) (A(BX)) formulanın MKNF tap ,izahatlı.
   
3. 
   ((AZ) (BZ)) (A(BT)) formulanın MKNF tap ,izahatlı.
   
4. 
   (C(Z(BC) )) (AZ) formulanın MKNF tap ,izahatlı.
   
5. 
   ((AB) T)  T (B C) ) formulanın MKNF tap ,izahatlı.
   

41. 
    ( (B (AT))A) ( B  (BC)) formulanın MKNF tap ,izahatlı
    
42. 
    ((XZ) ((Y T))) formulanın MKNF tap izahatlı
    
43. 
    ( ((XY) Z) (T Z)) formulanın MKNF tap izahatlı
    
44. 
    ((C( A B)) T) formulanın MKNF tap izahatlı
    
45. 
    ( (B C) (TC)) formulanın MKNF tap izahatlı
    
46. 
    T (A (B C)) formulanın MKNF tap izahatlı
    
47. 
    T (A(BC)) formulanın MKNF tap izahatlı
    
48. 
    T (A(BC)) formulanın MKNF tap izahatlı
    
49. 
    (B(Z(BC) )) T formulanın MKNF tap izahatlı
    
50. 
    ((AC) T) formulanın MKNF tap izahatlı
    
51. 
    (B (AT))A) formulanın MKNF tap izahatlı
    
52. 
    ((X Y) (ZY)) formulanın MKNF tap izahatlı
    
53. 
    ( (YZ) (XY)) formulanın MKNF tap izahatlı
    
54. 
    ((AB)  (BZ)) formulanın MKNF tap izahatlı
    
55. 
    ((XY) Z) formulanın MKNF tap izahatlı
    
56. 
    ((C( A B)) T) formulanın MKNF tap izahatlı
    
57. 
    T ((C(AC)) Z) formylanın MKNF tap izahatlı
    
58. 
    ((XY)) (YT) formylanın MKNF tap
    
59. 
    ( A(BC)) T) formylanın MKNF tap izahatlı
    
60. 
    T ( (A  B) (A Z))formylanın MKNF tap izahatlı
    
61. 
    ((X Y) Z) (TZ) formylanın MKNF tap izahatlı
    
62. 
    T ((XY))T) formylanın MKNF tap izahatlı
    
63. 
    ((XY) (YZ)) T formylanın MKNF tap izahatlı
    
64. 
    ((A  B)  Z)  T formylanın MDNF tap izahatlı
    
65. 
    ((Z X)  Y) T formylanın MKNF tap izahatlı
    
66. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 9 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
67. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 8 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
68. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 7 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
69. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 6 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
70. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 6 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
71. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 5 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
72. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 4 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.
    
73. 
    Elə dörd arqumentli dogruluq funksiysını qurun ki,dogruluq cədvəlinin 3 sətrində dogru qiymət alsın və onunla ekvivalent olan propozosional formanı tapın. ,izahatlı.