數(shù)理邏輯

定　價(jià)：￥59.00

作　者：	孫希文著
出版社：	高等教育出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥59.00)

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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

本目錄推薦

01量子圖導(dǎo)論（影印版）

01

量子圖導(dǎo)論（影印版）
02現(xiàn)代優(yōu)化算法

02

現(xiàn)代優(yōu)化算法
03時(shí)標(biāo)動態(tài)經(jīng)濟(jì)建模與分析

03

時(shí)標(biāo)動態(tài)經(jīng)濟(jì)建模與分析
04應(yīng)用與計(jì)算拓?fù)鋵W(xué)的新進(jìn)展…

04

應(yīng)用與計(jì)算拓?fù)鋵W(xué)的新進(jìn)展（英文…
05紊流數(shù)學(xué)模型研究

05

紊流數(shù)學(xué)模型研究
06數(shù)學(xué)物理方程

06

數(shù)學(xué)物理方程
07非線性約束系統(tǒng)的智能自適…

07

非線性約束系統(tǒng)的智能自適應(yīng)控制…
08從初等數(shù)學(xué)到高等數(shù)學(xué)（第…

08

從初等數(shù)學(xué)到高等數(shù)學(xué)（第3卷）…
09中國古典數(shù)學(xué)理論奠基者

09

中國古典數(shù)學(xué)理論奠基者
10趣味魔術(shù)與數(shù)學(xué)故事

10

趣味魔術(shù)與數(shù)學(xué)故事

掃描二維碼