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