«Մաթեմատիկական տրամաբանություն»–ի խմբագրումների տարբերություն
Content deleted Content added
No edit summary |
չ Ռոբոտը ավելացնում է․: da:Matematisk logik |
||
| Տող 11. | Տող 11. | ||
[[ca:Lògica matemàtica]] |
[[ca:Lògica matemàtica]] |
||
[[cs:Matematická logika]] |
[[cs:Matematická logika]] |
||
[[da:Matematisk logik]] |
|||
[[de:Mathematische Logik]] |
[[de:Mathematische Logik]] |
||
[[en:Mathematical logic]] |
[[en:Mathematical logic]] |
||
02:04, 24 Հունիսի 2012-ի տարբերակ
Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ:[1]