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.
Dostları ilə paylaş: 
