Mühazirələr Orta İxtisas Təhsil müəssisələrində fənnin tədrisi üçün nəzərdə tutulub
Yüklə 160,04 Kb.
|
|
«RİYAZİ MƏNTİQ» fənnindən imtahan sualları
Məntiq haqqında məlumat Məntiq nəzəriyyəsinin riyazi əsasda qurulması haqqında məlumat Mühakimə və onun tipləri Çoxluqlar haqqında məlumat Çoxluqların siniflərə ayrılması Çoxluqların verilməsi üsulları Çoxluqların birləşməsi və xassələri Çoxluqların kəsişməsi, fərqi, tamamlayıcısı, Çoxluqların dekart hasili Çoxluğun verilmiş çoxluga tamamlayıcısı 11.Münasibətlər haqqında məlumat Binar münasibətlər Binar münasibətlərin xassələri 14.Binar münasibətlərin matrisi 15.Mülahizə anlayışı 16.Sadə və mürəkkəb mülahizələr 17.Mülahizələr hesabının sintaksisi 18.Mülahizələr hesabının semantikası 19.Mülahizələr hesabı və təbii dil 20.Mülahizələr üzərində əməllər 21.Mülahizələr hesabının düsturu 22.Mülahizələr hesabının aksiomlar sistemi 23.Isbat oluna bilən düstur 24.Mülahizələr hesabının həll oluna bilmə, ziddiyyətliliyi, tamlıq problemi 25.Mülahizələr hesabının aksiomlarının asılı olmaması 26.Məntiq cəbrin düsturları 27.Ikilik qanunu
Bul cəbri Məntiq cəbri funksiyalar Elementar dizyunksiya və konyunksiya 31.Tam elementar konyunksiya və dizyunksiya 32.Məntiq cəbrin əsas eynigüclü düsturları 33.Əlavə qanunlar 34.Bir məntiqi əməliyyatı digərləri vasitəsilə ifadə edən eyniliklər 35.Əsas eynigüclüklər Məntiq cəbrin əsas qanunlarını ifadə edən eynigüclüklər Doğruluq cədvəlinə görə məntiq cəbrinin istənilən MKNF-nın tərtib olunması Düsturun MKNF-ya gətirmə qaydası 39.Düsturun MDNF-ya gətirmə qaydası 40.Bul funksiyaların düsturlarla verilməsi 41.Mülahizələr cəbri ilə mülahizələr hesabı arasında əlaqə 42.Predikatlar məntiqi 43.Predikatlar hesabının elementləri 44.Predikatlar hesabının sintaksisi 45.Predikatlar hesabının semantikası 46.Rezolyusiya prinsipi 47.Predikatlar üzərində əməllər 48.Predikatlar məntiqinin düsturu 49.Predikatlar məntiqində düsturların ümuməhəmiyyətliliyi 50.Predikatlar məntiqində düsturların yerinə yetirilə bilən olması 51.Predikatlar məntiqində düsturların normal şəkilləri 52.Predikatlar məntiqində ümuməhəmiyyətli düsturlar 53.Elementar düsturlar 54.Predikatlar məntiqində öncədən xəbərdarlıqlı düsturlar 55.Predikatlar məntiqində düsturların qiymətləndirilməsi 56.Mühakimələrin yerdəyişmə, birləşmə, parçalanması qanunu 57.Çıxarış qaydası 58.Nəticə anlayışı 59.Kvantor əməliyyatı 60.Mövcudluq, ümumilik kvantorları ilə məntiqi bağlayıcılar arasında düsturlar 61.Kvantorlu cümlələrin inkarı 62.Teoremin quruluşu 63.Teoremin növləri 64.Zəruri və kafi şərtlər 64. Əksini fərz etmə metodu ilə teoremlərin isbatı Yüklə 160,04 Kb. Dostları ilə paylaş:
|