«Մաթեմատիկական տրամաբանություն»–ի խմբագրումների տարբերություն
Content deleted Content added
հեռացվել է Կատեգորիա:Մաթեմատիկա, ավելացվեց Կատեգորիա:Մաթեմատիկական տրամաբանություն ՀոթՔաթ գործիքով |
չ վերջակետների ուղղում, փոխարինվեց: տ: → տ։ 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> |
||
== Ծանոթագրություններ == |
== Ծանոթագրություններ == |
00:27, 4 Հունիսի 2015-ի տարբերակ
Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ։[1]
Ծանոթագրություններ
|