《萬千教育.數理邏輯是什么》
作者：
[英]約翰·紐瑟姆·克羅斯利（John Newsome Crossley）等
出版日期：
2018-12-01
字數：
65000
開本：
32
頁數：
172
分類：
其它
ISBN：
978-7-5184-2095-7
定價：
￥32.00
官網優惠價格：
￥25.6
您也可以去
購買（點擊圖標進入購買頁）
內容簡介
[ ]
圖書目錄
引論
第一章 歷史概覽
第二章 謂詞演算的完全性
第三章 模型論
第四章 圖靈機與遞歸函數
第五章 哥德爾不完全性定理
第六章 集合論
推薦讀物
索引……引論
第一章 歷史概覽
第二章 謂詞演算的完全性
第三章 模型論
第四章 圖靈機與遞歸函數
第五章 哥德爾不完全性定理
第六章 集合論
推薦讀物
索引
[ 展開全部隱藏部分 ]
京公網安備 11010102004331 號 互聯網出版批準設立文號 新出音2003[1297]
旗艦店