«Մաթեմատիկական տրամաբանություն»–ի խմբագրումների տարբերություն
Content deleted Content added
չ Ռոբոտը ավելացնում է․: da:Matematisk logik |
չ Ռոբոտը ավելացնում է․: ky:Математикалык логика |
||
Տող 30. | Տող 30. | ||
[[ka:მათემატიკური ლოგიკა]] |
[[ka:მათემატიკური ლოგიკა]] |
||
[[lv:Matemātiskā loģika]] |
[[lv:Matemātiskā loģika]] |
||
[[ky:Математикалык логика]] |
|||
[[lij:Logica Matematica]] |
[[lij:Logica Matematica]] |
||
[[hu:Matematikai logika]] |
[[hu:Matematikai logika]] |
19:59, 2 Հուլիսի 2012-ի տարբերակ
Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ:[1]