国产v亚洲v天堂无码久久无码_久久久久综合精品福利啪啪_美女扒开尿口让男人桶_国产福利第一视频在线播放_滨崎步无码AⅤ一区二区三区_三年片免费观看了_大屁股妇女流出白浆_泷川苏菲亚无码AV_我想看我想看一级男同乱伦_国产精品午夜福利免费视频,gogo国模全球大胆高清摄影图,2008门艳照全集视频,欧美午夜在线精品品亚洲AV中文无码乱人伦在线播放

本課程主要分為四部分內(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)邏輯,、認知邏輯、時態(tài)邏輯,、動態(tài)邏輯等內(nèi)容,。