Մաթեմատիկական տրամաբանություն
Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ֆորմալ տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ[1]։
Ծանոթագրություններ[խմբագրել | խմբագրել կոդը]
|
Սա տրամաբանության մասին անավարտ հոդված է։ Դուք կարող եք օգնել Վիքիպեդիային՝ ուղղելով և լրացնելով այն։ |
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||
