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

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

Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ:[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.
Ստացված է «http://hy.wikipedia.org/w/index.php?title=Մաթեմատիկական_տրամաբանություն&oldid=1187175» էջից