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: ur:ریاضیاتی منطق; cosmetic changes |
k Bot redaktəsi əlavə edilir: lt:Matematinė logika |
||
| Sətir 36: | Sətir 36: | ||
[[ko:수리논리학]] |
[[ko:수리논리학]] |
||
[[lij:Logica Matematica]] |
[[lij:Logica Matematica]] |
||
[[lt:Matematinė logika]] |
|||
[[mk:Математичка логика]] |
[[mk:Математичка логика]] |
||
[[nl:Wiskundige logica]] |
[[nl:Wiskundige logica]] |
||
16:03, 1 yanvar 2010 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.)