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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Content deleted Content added
չ →‎top: կետադրական նշանը ծանոթագրությունից հետո oգտվելով ԱՎԲ
չNo edit summary
Տող 3. Տող 3.
== Ծանոթագրություններ ==
== Ծանոթագրություններ ==
{{ծանցանկ}}
{{ծանցանկ}}
{{Տրամաբանություն-անավարտ}}

{{Մաթեմատիկա–ներքև}}
{{Մաթեմատիկա–ներքև}}
{{Արտաքին հղումներ}}

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


{{Անավարտ}}

13:10, 25 Ապրիլի 2022-ի տարբերակ

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


Վիքիպահեստն ունի նյութեր, որոնք վերաբերում են «Մաթեմատիկական տրամաբանություն» հոդվածին։