Riyazi məntiq: Redaktələr arasındakı fərq
Naviqasiyaya keçin
Axtarışa keçin
Silinən məzmun Əlavə edilmiş məzmun
k Bot redaktəsi əlavə edilir: tg:Мантиқи риёзӣ |
k Bot redaktəsi əlavə edilir: ro:Logică matematică |
||
Sətir 41: | Sətir 41: | ||
[[no:Predikatslogikk]] |
[[no:Predikatslogikk]] |
||
[[pl:Logika matematyczna]] |
[[pl:Logika matematyczna]] |
||
[[ro:Logică matematică]] |
|||
[[ru:Математическая логика]] |
[[ru:Математическая логика]] |
||
[[sh:Matematička logika]] |
[[sh:Matematička logika]] |
12:57, 15 noyabr 2009 versiyası
Riyazi məntiq - formal məntiqin əsas qanunlarına istinad edərək, riyazi dil və riyazi metodların tətbiqi ilə məntiqi proseslərin, mühakimələrin qanunauyğunluqlarını araşdırır. Riyazi məntiqin əsasını qoyan İngilis riyaziyyatçısı Corc Bul olmuşdur.
Riyazi məntiqin əsasını Deduktiv nəzəriyyə təşkil edir.
Həmçinin bax
(ərəb.)