Riyazi məntiq: Redaktələr arasındakı fərq
Naviqasiyaya keç
Axtarışa keç
Silinən məzmun Əlavə edilmiş məzmun
k Bot redaktəsi əlavə edilir: pt:Lógica matemática, vi:Logic toán, ms:Logik matematik, lv:Matemātiskā loģika |
k r2.6.2) (Bot redaktəsi əlavə edilir: si:ගණිතමය තර්කණය |
||
Sətir 49: | Sətir 49: | ||
[[ru:Математическая логика]] |
[[ru:Математическая логика]] |
||
[[sh:Matematička logika]] |
[[sh:Matematička logika]] |
||
[[si:ගණිතමය තර්කණය]] |
|||
[[sk:Matematická logika]] |
[[sk:Matematická logika]] |
||
[[sl:Matematična logika]] |
[[sl:Matematična logika]] |
09:29, 23 iyul 2011 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.)