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 çıxardılır: chr:Mathematical logic |
k Bot redaktəsi əlavə edilir: tg:Мантиқи риёзӣ |
||
Sətir 48: | Sətir 48: | ||
[[sr:Математичка логика]] |
[[sr:Математичка логика]] |
||
[[sv:Matematisk logik]] |
[[sv:Matematisk logik]] |
||
[[tg:Мантиқи риёзӣ]] |
|||
[[th:คณิตตรรกศาสตร์]] |
[[th:คณิตตรรกศาสตร์]] |
||
[[tl:Matematikal na lohika]] |
[[tl:Matematikal na lohika]] |
11:33, 24 avqust 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.)