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: lt:Matematinė logika |
k Bot redaktəsi əlavə edilir: hi:गणितीय तर्कशास्त्र |
||
| Sətir 27: | Sətir 27: | ||
[[gd:Rianas matamataigeach]] |
[[gd:Rianas matamataigeach]] |
||
[[he:לוגיקה מתמטית]] |
[[he:לוגיקה מתמטית]] |
||
[[hi:गणितीय तर्कशास्त्र]] |
|||
[[hr:Matematička logika]] |
[[hr:Matematička logika]] |
||
[[hu:Matematikai logika]] |
[[hu:Matematikai logika]] |
||
21:33, 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.)