国产亚洲AV自拍|av中文字幕一区|资源在线观看一区二区|亚洲影视久久亚洲特级性交|一级做一级a做片爱免费观看|欧美另类亚洲色婷婷精品无码|亚洲青青草免费一区|青青草免费成人网|91久久国内视频|五月天丁香久久

本課程主要分為四部分內(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)容。