數(shù)理邏輯

定　價：￥59.00

作　者：	孫希文著
出版社：	高等教育出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

京東 (￥59.00)

ISBN：	9787040513523	出版時間：	1900-01-01	包裝：	平裝
開本：	16	頁數(shù)：	512	字數(shù)：

內(nèi)容簡介

　　本書包含一階數(shù)理邏輯的基本核心內(nèi)容，具體包括一階理論簡介、一階理論的若干定理、一階理論的特殊問題、形式系統(tǒng)的一般理論、模型論、遞歸函數(shù)和圖靈機、哥德爾不完全性定理、遞歸論等。可分別作為計算機科學和數(shù)學專業(yè)的本科生和研究生教材。也可供相關科技工作者參考。

作者簡介

暫缺《數(shù)理邏輯》作者簡介

圖書目錄

暫缺《數(shù)理邏輯》目錄

本目錄推薦

01高等數(shù)學輔導及習題精解 …

01

高等數(shù)學輔導及習題精解下冊（…
02引力與幾何

02

引力與幾何
03高職數(shù)學（第二版）

03

高職數(shù)學（第二版）
04高等數(shù)學思維培養(yǎng)與解題方…

04

高等數(shù)學思維培養(yǎng)與解題方法研究…
05離散數(shù)學習題解答與學習指…

05

離散數(shù)學習題解答與學習指導（第…
06應用隨機過程基礎

06

應用隨機過程基礎
07高等數(shù)學（下冊）

07

高等數(shù)學（下冊）
08數(shù)理統(tǒng)計

08

數(shù)理統(tǒng)計
09數(shù)學實驗與數(shù)學建模

09

數(shù)學實驗與數(shù)學建模
10線性代數(shù)同步輔導及習題全…

10

線性代數(shù)同步輔導及習題全解（第…

掃描二維碼