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

Content deleted Content added

Գծային

20:04, 15 Ապրիլի 2012-ի տարբերակ

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

@@ Տող 1. / Տող 1. @@
+'''Մաթեմատիկական տրամաբանությունը''' (հայտնի նաև որպես  '''ձևական տրամաբանություն''')  [[մաթեմատիկա]]յի ենթաբաժին է, որը խստորեն կապված է   [[մաթեմատիկայի հիմնադրույթներ]]ի, [[տեսական ինֆորմատիկա]]յի և  [[փիլիսոփայական տրամաբանություն| փիլիսոփայական տրամաբանության]] հետ:<ref>Undergraduate texts include Boolos, Burgess, and Jeffrey [[#CITEREFBoolosBurgessJeffrey2002|(2002)]], [[Herbert Enderton|Enderton]] [[#CITEREFEnderton2001|(2001)]], and Mendelson [[#CITEREFMendelson1997|(1997)]]. A classic graduate text by Shoenfield [[#CITEREFShoenfield2001|(2001)]] first appeared in 1967.</ref>
+== Ծանոթագրություններ ==
+{{ծանցանկ}}
 [[Կատեգորիա:Մաթեմատիկական տրամաբանություն]]
 [[ar:منطق رياضي]]
@@ Տող 9. / Տող 12. @@
 [[cs:Matematická logika]]
 [[de:Mathematische Logik]]
+[[en:Mathematical logic]]
 [[et:Matemaatiline loogika]]
 [[el:Μαθηματική λογική]]