«Մաթեմատիկական տրամաբանություն»–ի խմբագրումների տարբերություն

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Content deleted Content added
չ →‎top: clean up, փոխարինվեց: → (2) oգտվելով ԱՎԲ
չ հայերեն անվանում
Տող 9. Տող 9.




{{Stub}}
{{Անավարտ}}

14:29, 30 Դեկտեմբերի 2016-ի տարբերակ

Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ։[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.