|
|
14.
|
數理邏輯導引 ![](/liaode/images/fjie0.gif)
市場價:1780元 優惠價:1490元
立刻節省:290元
《數理邏輯導引》是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數理邏輯選修課和在新加坡國立大學、中國科學院數學與繫統科學研究院為研究生開設的專業課程所寫講義基礎上整理出來的結果。《數理邏輯導引》主要由一階邏輯的核心內容和有關數的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質縮小、型省略等基本定理;有關數的經典理論的接近性和可定義性分析;哥德爾不接近性定理、丘奇不可判定性定理、塔爾斯基自然數標準模型真相不可定義性定理以及巴黎-哈靈頓不接近性定理。
|
15.
|
數理邏輯導引 ![](/liaode/images/fjie0.gif)
市場價:1820元 優惠價:1520元
立刻節省:300元
《數理邏輯導引》是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數理邏輯選修課和在新加坡國立大學、中國科學院數學與繫統科學研究院為研究生開設的專業課程所寫講義基礎上整理出來的結果。《數理邏輯導引》主要由一階邏輯的核心內容和有關數的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質縮小、型省略等基本定理;有關數的經典理論的接近性和可定義性分析;哥德爾不接近性定理、丘奇不可判定性定理、塔爾斯基自然數標準模型真相不可定義性定理以及巴黎-哈靈頓不接近性定理。
|
16.
|
線性代數導引 ![](/liaode/images/fjie0.gif)
市場價:1780元 優惠價:1490元
立刻節省:290元
本書內容包括數、數的加法和數的乘法,以及由此延伸開來的群、環、域、多項式和向量空間。與其他線性代數的教科書不同的是立足點和理論框架的選擇。本書不將任何數及其算術運算當成給定的原始概念,而是從數學基礎的角度建立起它們的確切解釋,並將這樣的解釋作為數學的一種基礎,進而建立和發展線性空間的基本理論。
|
17.
|
數理邏輯導引 ![](/liaode/images/fjie0.gif)
市場價:1780元 優惠價:1490元
立刻節省:290元
《數理邏輯導引》是作者在新加坡國立大學、北京大學和中國科學院大學為本科高年級學生開設的數理邏輯選修課和在新加坡國立大學、中國科學院數學與繫統科學研究院為研究生開設的專業課程所寫講義基礎上整理出來的結果。《數理邏輯導引》主要由一階邏輯的核心內容和有關數的邏輯探索和分析兩大部分組成,其中包括完備性、緊致性、同質縮小、型省略等基本定理;有關數的經典理論的接近性和可定義性分析;哥德爾不接近性定理、丘奇不可判定性定理、塔爾斯基自然數標準模型真相不可定義性定理以及巴黎-哈靈頓不接近性定理。
|
38.
|
集合論導引(第1卷:基本理論) ![](/liaode/images/fjie0.gif)
市場價:1290元 優惠價:1080元
立刻節省:210元
本卷是這本《集合論導引》的開卷,分為三章,是後續兩卷的基礎。第1章主要是引進集合論的基本公理、基本概念、基本方法,並給出典型的可數集合的例子,包括自然數集合、整數集合、有理數集合以及有限集合等。第2章主要是引進選擇公理以及由此建立起來的基數運算律和一些典型組合實例。第3章專門引進實數集合並對它進行繫統分析。本卷將建立一繫列基本概念,為《集合論導引(第一卷)基本理論》作鋪墊。
|
|