91一级特黄大片|婷婷中文字幕在线|av成人无码国产|日韩无码一二三区|久久不射强奸视频|九九九久久久精品|国产免费浮力限制

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

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

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

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

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