掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
闖進(jìn)數(shù)學(xué)世界――探秘歷史名題
-
>
中醫(yī)基礎(chǔ)理論
-
>
當(dāng)代中國(guó)政府與政治(新編21世紀(jì)公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國(guó)特色社會(huì)主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國(guó)中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
中圖價(jià):¥29.1
加入購(gòu)物車
初等模型論/姚寧遠(yuǎn)/邏輯與形而上學(xué)教科書系列 版權(quán)信息
- ISBN：9787309140194
- 條形碼：9787309140194 ; 978-7-309-14019-4
- 裝幀：平裝-膠訂
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
初等模型論/姚寧遠(yuǎn)/邏輯與形而上學(xué)教科書系列 本書特色
本書從一階邏輯的語(yǔ)法和語(yǔ)義開始， 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。
初等模型論/姚寧遠(yuǎn)/邏輯與形而上學(xué)教科書系列 內(nèi)容簡(jiǎn)介
本書從一階邏輯的語(yǔ)法和語(yǔ)義開始， 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。
初等模型論/姚寧遠(yuǎn)/邏輯與形而上學(xué)教科書系列 目錄
第1章 基本概念 1.1 一階邏輯的結(jié)構(gòu) 1.2 一階公式和語(yǔ)義 1.3 理論與模型 1.4 初等子結(jié)構(gòu)第2章 緊致性定理 2.1 Henkin構(gòu)造法 2.2 超積 2.3 超積的應(yīng)用 2.4 型的空間 2.5 Lowenheim-Skolem定理第3章 緊致性定理的應(yīng)用 3.1 代數(shù)閉域 3.2 無(wú)窮小量 3.3 無(wú)窮圖的四色定理 3.4 Ramsey定理與不可辨元序列第4章 飽和性與齊次性 4.1 ω-飽和性與ω-齊次性 4.2 k-飽和性與K-齊次性第5章 可數(shù)模型 5.1 省略型定理 5.2 素模型 5.3 ω-范疇第6章 量詞消去 6.1 無(wú)量詞型 6.2 量詞消去 6.3 模型完全第7章 量詞消去的應(yīng)用 7.1 代數(shù)閉域的量詞消去 7.2 實(shí)閉域的量詞消去 7.3 Presburger算術(shù)的量詞消去 7.4 向量空間和無(wú)撓可除阿貝爾群第8章 ω-穩(wěn)定理論 8.1 ω-穩(wěn)定性 8.2 Morley秩 8.3 強(qiáng)極小理論的范疇性 8.4 不可數(shù)范疇與Morley定理 8.5 Morley定理的證明第9章 穩(wěn)定理論 9.1 穩(wěn)定理論與可定義型 9.2 可分割性 9.3 ω-穩(wěn)定理論中的分叉參考文獻(xiàn)索引
展開全部
初等模型論/姚寧遠(yuǎn)/邏輯與形而上學(xué)教科書系列 作者簡(jiǎn)介
姚寧遠(yuǎn) 2015年獲得中山大學(xué)博士學(xué)位，并于同年進(jìn)入復(fù)旦大學(xué)哲學(xué)學(xué)院擔(dān)任講師，2017年在法國(guó)高等科學(xué)研究所做博士后研究。主要研究領(lǐng)域是模型論及其應(yīng)用。現(xiàn)已發(fā)表SCl論文6篇，CSSCI論文1篇。獲得國(guó)家自科青年基金、上海浦江計(jì)劃基金以及上海晨光計(jì)劃基金的資助。
書友推薦
- >
苦雨齋序跋文-周作人自編集
- >
羅曼·羅蘭讀書隨筆-精裝
- >
巴金－再思錄
- >
伯納黛特,你要去哪(2021新版)
- >
名家?guī)阕x魯迅:朝花夕拾
- >
經(jīng)典常談
- >
唐代進(jìn)士錄
- >
姑媽的寶刀
本類暢銷
