作品介紹

數(shù)理邏輯導(dǎo)引

作者：馮琦整理日期：2019-03-26 17:09:01

　　本書是作者在新加坡國立大學(xué)、北京大學(xué)和中國科學(xué)院大學(xué)為本科高年級(jí)學(xué)生開設(shè)的數(shù)理邏輯選修課和在新加坡國立大學(xué)、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院為研究生開設(shè)的專業(yè)課程所寫講義基礎(chǔ)上整理出來的結(jié)果。本書主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成，其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理；有關(guān)數(shù)的經(jīng)典理論的完全性和可定義性分析；哥德爾不完全性定理、丘奇不可判定性定理、塔爾斯基自然數(shù)標(biāo)準(zhǔn)模型真相不可定義性定理以及巴黎-哈靈頓不完全性定理。

→ 數(shù)理邏輯導(dǎo)引下載地址 ←

上一本：概率論與數(shù)理統(tǒng)計(jì)經(jīng)濟(jì)應(yīng)用數(shù)學(xué)基礎(chǔ)

下一本：植物學(xué)實(shí)驗(yàn)教程

作家文集

☆ 豆豆作品集	☆ 林清玄作品集	☆ 江河作品集
☆ 李碧華作品集	☆ 林海音作品集	☆ 馬原作品集
☆ 高曉聲作品集	☆ 蔣子龍作品集	☆ 劉紹棠作品集
☆ 周立波作品集	☆ 亦舒作品集	☆ 閆紅作品集
☆ 祝勇作品集	☆ 周曉楓作品集	☆ 石一楓作品集
☆ 張廣天作品集	☆ 蔣藍(lán)作品集	☆ 李亞偉作品集
☆ 王小波作品集	☆ 木心作品集	☆ 魯迅作品集
☆ 葉圣陶作品集	☆ 張愛玲作品集	☆ 沈從文作品集
☆ 老舍作品集	☆ 巴金作品集	☆ 曹禺作品集
☆ 錢鐘書作品集	☆ 汪曾祺作品集	☆ 徐志摩作品集