數理邏輯(新編21世紀哲學繫列教材;中國人民大學“十三五”規劃 ![](/liaode/images/fjie0.gif)
市場價:540元 優惠價:450元
立刻節省:90元
《數理邏輯(新編21世紀哲學繫列教材;中國人民大學“十三五”規劃教材—特色教材)》是為了給將來致力於數理邏輯研究的讀者奠定堅實基礎而寫的。概括地講,第1-4章為基礎內容,第5-6章為高階內容。具體來看,第1章從思想史角度講述哲學之於邏輯的動機催發,第2章講述命題邏輯的早期簡史、語法語義、完全性、緊致性等,第3章講述一階邏輯的早期簡史、語法語義、完全性、緊致性及應用、哲學的應用等,第4章講述一階理論的基本性質、幾種形式等,第5章講述哥德爾兩個不完全性定理的數學哲學動機、詳細證明過程、一些相關推論、數學哲學影響等,第6章以模態邏輯為例說明邏輯之於哲學的實際應用。
|