數理邏輯導引(2017年科學出版社出版的圖書)

數理邏輯導引(2017年科學出版社出版的圖書)

本詞條是多義詞,共2個義項
更多義項 ▼ 收起列表 ▲

《數理邏輯導引》是2017年科學出版社出版的圖書,作者是馮琦。

基本介紹

  • 中文名:數理邏輯導引
  • 作者:馮琦
  • 出版社:科學出版社
  • 出版時間:2017年9月
  • ISBN:9787030545794
圖書簡介,圖書目錄,

圖書簡介

本書是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數理邏輯選修課和在新加坡國立大學、中國科學院數學與系統科學研究院為研究生開設的專業課程所寫講義基礎上整理出來的結果。本書主要由一階邏輯的核心內容和有關數的邏輯探索和分析兩大部分組成,其中包括完備性、緊緻性、同質縮小、型省略等基本定理;有關數的經典理論的完全性和可定義性分析;哥德爾不完全性定理、丘奇不可判定性定理、塔爾斯基自然數標準模型真相不可定義性定理以及巴黎-哈靈頓不完全性定理。

圖書目錄

  • 《現代數學基礎叢書》序
  • 序言
  • 第0章引言
  • 第1章命題邏輯
  • 第2章一階語言和一階結構
  • 第3章一階結構之同構、同樣與同質
  • 第4章邏輯推理與邏輯結論
  • 第5章同質放大模型
  • 第6章完全性與模型完全性
  • 第7章可數模型
  • 第8章代數封閉域理論
  • 第9章實封閉域理論
  • 第10章有理數加法算術理論
  • 第11章整數加法算術理論
  • 第12章自然數序理論與有序加法理論
  • 第13章自然數算術理論
  • 索引
  • 《現代數學基礎叢書》已出版書目

相關詞條

熱門詞條

聯絡我們