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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Content deleted Content added
No edit summary
չ →‎top: կետադրական նշանը ծանոթագրությունից հետո oգտվելով ԱՎԲ
Տող 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>
'''Մաթեմատիկական տրամաբանությունը''' (հայտնի նաև որպես '''ֆորմալ տրամաբանություն''') [[մաթեմատիկա]]յի ենթաբաժին է, որը խստորեն կապված է [[մաթեմատիկայի հիմնադրույթներ]]ի, [[տեսական ինֆորմատիկա]]յի և [[փիլիսոփայական տրամաբանություն|փիլիսոփայական տրամաբանության]] հետ<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>։


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

08:13, 4 Հունիսի 2019-ի տարբերակ

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