Jump to content

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

Վիքիպեդիայից՝ ազատ հանրագիտարանից
11:59, 19 Մարտի 2024 տարբերակ, ԱշոտՏՆՂ (Քննարկում | ներդրում)
(տարբ) ←Նախորդ տարբերակ | Ընթացիկ տարբերակ (տարբ) | Հաջորդ տարբերակ→ (տարբ)

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