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: ko:수리논리학 |
k Bot redaktəsi əlavə edilir: sh:Matematička logika |
||
| Sətir 42: | Sətir 42: | ||
[[pl:Logika matematyczna]] |
[[pl:Logika matematyczna]] |
||
[[ru:Математическая логика]] |
[[ru:Математическая логика]] |
||
[[sh:Matematička logika]] |
|||
[[sk:Matematická logika]] |
[[sk:Matematická logika]] |
||
[[sl:Matematična logika]] |
[[sl:Matematična logika]] |
||
18:38, 5 noyabr 2008 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.)