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 çıxardılır: lt:Matematinė logika; cosmetic changes |
k Bot redaktəsi əlavə edilir: pt:Lógica matemática, vi:Logic toán, ms:Logik matematik, lv:Matemātiskā loģika |
||
| Sətir 38: | Sətir 38: | ||
[[ko:수리논리학]] |
[[ko:수리논리학]] |
||
[[lij:Logica Matematica]] |
[[lij:Logica Matematica]] |
||
[[lv:Matemātiskā loģika]] |
|||
[[mk:Математичка логика]] |
[[mk:Математичка логика]] |
||
[[ms:Logik matematik]] |
|||
[[nl:Wiskundige logica]] |
[[nl:Wiskundige logica]] |
||
[[nn:Matematisk logikk]] |
[[nn:Matematisk logikk]] |
||
[[no:Predikatslogikk]] |
[[no:Predikatslogikk]] |
||
[[pl:Logika matematyczna]] |
[[pl:Logika matematyczna]] |
||
[[pt:Lógica matemática]] |
|||
[[ro:Logică matematică]] |
[[ro:Logică matematică]] |
||
[[ru:Математическая логика]] |
[[ru:Математическая логика]] |
||
| Sətir 57: | Sətir 60: | ||
[[uk:Математична логіка]] |
[[uk:Математична логіка]] |
||
[[ur:ریاضیاتی منطق]] |
[[ur:ریاضیاتی منطق]] |
||
[[vi:Logic toán]] |
|||
[[zh:数理逻辑]] |
[[zh:数理逻辑]] |
||
[[zh-yue:數學邏輯]] |
[[zh-yue:數學邏輯]] |
||
17:18, 13 may 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.)