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

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

Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ։[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.
Ոլորտներ
Թվաբանություն  • Հանրահաշիվ (տարրական, գծային, բազմագծային, աբստրակտ)  • Երկրաչափություն (դիսկրետ, հանրահաշվական, դիֆերենցիալ, վերջավոր)  • Եռանկյունաչափություն  • Հաշիվ/Անալիզ  • Ֆունկցիոնալ անալիզ  • Բազմությունների տեսություն  • Տրամաբանություն  • Կարգերի տեսություն  • Թվերի տեսություն  • Կոմբինատորիկա  • Գրաֆիկների տեսություն  • Տեղաբանություն  • Լիի տեսություն  • Դիֆերենցիալ հավասարումներ/Դինամիկ համակարգեր  • Մաթեմատիկական ֆիզիկա  • Թվային անալիզ  • Հաշվարկում  • Տեղեկատվության տեսություն  • Հավանականություն  • Մաթեմատիկական վիճակագրություն  • Մաթեմատիկական օպտիմիզացում  • Կառավարման տեսություն  • Խաղային տեսություն  • Ներկայացման տեսություն
Բաժիններ


Վիքիպեդիա Սա անավարտ հոդված է։ Դուք կարող եք օգնել Վիքիպեդիային՝ ուղղելով և լրացնելով այն։
Այս նշումը հարկավոր է փոխարինել համապատասխան թեմատիկ նշումով։
Ստացված է «https://hy.wikipedia.org/w/index.php?title=Մաթեմատիկական_տրամաբանություն&oldid=4832976» էջից