Jump to content

Մաթեմատիկական տրամաբանություն

Վիքիպեդիայից՝ ազատ հանրագիտարանից

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

Ծանոթագրություններ

[խմբագրել | խմբագրել կոդը]
  1. ↑ Undergraduate texts include Boolos, Burgess, and Jeffrey (2002), Enderton (2001), and Mendelson (1997). A classic graduate text by Shoenfield (2001) first appeared in 1967.

Արտաքին հղումներ

[խմբագրել | խմբագրել կոդը]
Վիքիպահեստն ունի նյութեր, որոնք վերաբերում են «Մաթեմատիկական տրամաբանություն» հոդվածին։
տրամաբանություն Սա տրամաբանության մասին անավարտ հոդված է։ Դուք կարող եք օգնել Վիքիպեդիային՝ ուղղելով և լրացնելով այն։
Ստացված է «https://hy.wikipedia.org/w/index.php?title=Մաթեմատիկական_տրամաբանություն&oldid=10716582» էջից