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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Content deleted Content added
No edit summary
Տող 6. Տող 6.
{{Մաթեմատիկա–ներքև}}
{{Մաթեմատիկա–ներքև}}


[[Կատեգորիա:Մաթեմատիկա]]
[[Կատեգորիա:Մաթեմատիկական տրամաբանություն]]

07:19, 31 Մայիսի 2014-ի տարբերակ

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