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

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

Մաթեմատիկական տրամաբանությունը (հայտնի նաև որպես ձևական տրամաբանություն) մաթեմատիկայի ենթաբաժին է, որը խստորեն կապված է մաթեմատիկայի հիմնադրույթների, տեսական ինֆորմատիկայի և փիլիսոփայական տրամաբանության հետ:[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.
դ • ք • խ
Մաթեմատիկայի որոլտները
Ոլորտներ
Թվաբանություն  • Հանրահաշիվ (տարրական, գծային, բազմագծային, աբստրակտ)  • Երկրաչափություն (դիսկրետ, հանրահաշվական, դիֆերենցիալ, վերջավոր)  • Եռանկյունաչափություն  • Հաշիվ/Անալիզ  • Ֆունկցիոնալ անալիզ  • Բազմությունների տեսություն  • Տրամաբանություն  • Կարգերի տեսություն  • Թվերի տեսություն  • Կոմբինատորիկա  • Գրաֆիկների տեսություն  • Տեղաբանություն  • Լիի տեսություն  • Դիֆերենցիալ հավասարումներ/Դինամիկ համակարգեր  • Մաթեմատիկական ֆիզիկա  • Թվային անալիզ  • Հաշվարկում  • Տեղեկատվության տեսություն  • Հավանականություն  • Մաթեմատիկական վիճակագրություն  • Մաթեմատիկական օպտիմիզացում  • Կառավարման տեսություն  • Խաղային տեսություն  • Ներկայացման տեսություն
Բաժիններ
Կատեգորիա  • Մաթեմատիկայի պորտալ  • Հիմունքներ  • Ցանկեր
Ստացված է «http://hy.wikipedia.org/w/index.php?title=Մաթեմատիկական_տրամաբանություն&oldid=2316017» էջից