MÖVZULAR VƏ ONLARIN İZAHI Mövzu 1. Çoxluqlar nəzəriyyəsi - 4 saat Çoxluqlar və çoxluqlar üzərində əməllər. Çoxluqların birləşməsi, kəsişməsi,
f
ərqi, tamamlayıcısı və dekart hasili. Binar münasibətlər nəzəriyyəsi.
Mövzu 2.Mülahizə, təklif anlayışı - 4 saat Mülahizə, təklif anlayışı. Mülahizələrin növləri. Mülahizələr üzərində məntiqi
əməliyyatlar.
Mövzu 3.Məntiq cəbrinin düsturları – 4 saat M
əntiq əməlləri: inkar, konyunksiya, dizyunksiya. Məntiq cəbrinin düsturları və onların
qiym
ətlərinin hesablanması
Mövzu 4.Məntiq əməlləri - 4 saat M
əntiq əməlləri: İmplikasiya və ekvivalensiya. Məntiq cəbrinin düsturları və onların
qiym
ətlərinin hesablanması.
Mövzu 5. Bul cəbri - 4 saat M
əntiq qanunları. Bul cəbrinin eynigüclü, eyniliklə doğru və eyniliklə yalan düsturları.
Əsas eynigüclülüklər (Məntiqi əməliyyatlar qanunu. İkilik qanunu).
Mövzu 6. Mülahizələr cəbri - 4 saat Mülahizələr cəbri. Mülahizələr hesabının düsturunun tərifi. İsbat oluna bilən düsturların
t
ərifi. Mülahizələr hesabının aksiomları.
M övzu 7. Predikat anlayışı - 4 saat Predikatlar m
əntiqi. Predikatlar üzərində məntiq əməlləri. Predikatların konyunksiyası,
dizyunksiyası. Predikatların implikasiyası və ekvivalensiyası.
Mövzu 8.Kvantor əməliyyatları - 2 saat Predikatlar m
əntiqinin tavtologiyaları. Kvantor əməliyyatları.
ƏDƏBİYYAT 1.
E.Ş.Məmmədov “Riyazi məntiqin elementləri”;
2.
О.Ю. Агарева “Элементы математической логики”: - М. МАТИ, 2008;
3.
Г.И.Анкудинов, И.Г.Анкудинов, О.А.Петухов “Математическая логика и теория
алгоритмов” 2003.
