69一区二三区好的精华液,中文字幕无码av波多野吉衣,亚洲精品久久久久久无码色欲四季,日本不卡高字幕在线2019

本課程主要分為四部分內(nèi)容:

1）公理系統(tǒng):主要討論命題邏輯公理系統(tǒng)，含可靠性、完全性與判定性、計算復(fù)雜性等；

2）數(shù)海鉤沉:主要討論集合、代數(shù)和邏輯之間的關(guān)聯(lián)與對應(yīng)等內(nèi)容；

3）證明論:主要討論Hilbert風(fēng)格與Gentzen風(fēng)格演算、Cut-free定理、構(gòu)造性邏輯等內(nèi)容；

4）哲學(xué)邏輯:主要討論模態(tài)邏輯、認(rèn)知邏輯、時態(tài)邏輯、動態(tài)邏輯等內(nèi)容。