Riyazi məntiq: Redaktələr arasındakı fərq

Vikipediya, azad ensiklopediya
Naviqasiyaya keçin Axtarışa keçin
Silinən məzmun Əlavə edilmiş məzmun
JAnDbot (müzakirə | töhfələr)
k Bot redaktəsi çıxardılır: chr:Mathematical logic
TXiKiBoT (müzakirə | töhfələr)
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.)