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: hi:गणितीय तर्कशास्त्र |
k Bot redaktəsi çıxardılır: lt:Matematinė logika; cosmetic changes |
||
Sətir 7: | Sətir 7: | ||
{{Ar|ریاضی منطیق}} |
{{Ar|ریاضی منطیق}} |
||
[[Kateqoriya:Riyaziyyat]] |
[[Kateqoriya:Riyaziyyat]] |
||
[[Kateqoriya:Məntiq]] |
[[Kateqoriya:Məntiq]] |
||
Sətir 37: | Sətir 38: | ||
[[ko:수리논리학]] |
[[ko:수리논리학]] |
||
[[lij:Logica Matematica]] |
[[lij:Logica Matematica]] |
||
[[lt:Matematinė logika]] |
|||
[[mk:Математичка логика]] |
[[mk:Математичка логика]] |
||
[[nl:Wiskundige logica]] |
[[nl:Wiskundige logica]] |
23:44, 31 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.)