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: chr:Mathematical logic |
k Bot redaktəsi çıxardılır: chr:Mathematical logic |
||
| Sətir 16: | Sətir 16: | ||
[[bs:Matematička logika]] |
[[bs:Matematička logika]] |
||
[[ca:Lògica matemàtica]] |
[[ca:Lògica matemàtica]] |
||
[[chr:Mathematical logic]] |
|||
[[cs:Matematická logika]] |
[[cs:Matematická logika]] |
||
[[de:Mathematische Logik]] |
[[de:Mathematische Logik]] |
||
23:13, 28 may 2009 tarixindəki versiya
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.)