掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
初等模型論/姚寧遠/邏輯與形而上學教科書系列 版權信息
- ISBN：9787309140194
- 條形碼：9787309140194 ; 978-7-309-14019-4
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
初等模型論/姚寧遠/邏輯與形而上學教科書系列 本書特色
本書從一階邏輯的語法和語義開始， 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準則、量詞消去、飽和模型、齊次模型、Omega-穩定理論、不可區分序列以及Morley定理等內容。
初等模型論/姚寧遠/邏輯與形而上學教科書系列 內容簡介
本書從一階邏輯的語法和語義開始， 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準則、量詞消去、飽和模型、齊次模型、Omega-穩定理論、不可區分序列以及Morley定理等內容。
初等模型論/姚寧遠/邏輯與形而上學教科書系列 目錄
第1章 基本概念 1.1 一階邏輯的結構 1.2 一階公式和語義 1.3 理論與模型 1.4 初等子結構第2章 緊致性定理 2.1 Henkin構造法 2.2 超積 2.3 超積的應用 2.4 型的空間 2.5 Lowenheim-Skolem定理第3章 緊致性定理的應用 3.1 代數閉域 3.2 無窮小量 3.3 無窮圖的四色定理 3.4 Ramsey定理與不可辨元序列第4章 飽和性與齊次性 4.1 ω-飽和性與ω-齊次性 4.2 k-飽和性與K-齊次性第5章 可數模型 5.1 省略型定理 5.2 素模型 5.3 ω-范疇第6章 量詞消去 6.1 無量詞型 6.2 量詞消去 6.3 模型完全第7章 量詞消去的應用 7.1 代數閉域的量詞消去 7.2 實閉域的量詞消去 7.3 Presburger算術的量詞消去 7.4 向量空間和無撓可除阿貝爾群第8章 ω-穩定理論 8.1 ω-穩定性 8.2 Morley秩 8.3 強極小理論的范疇性 8.4 不可數范疇與Morley定理 8.5 Morley定理的證明第9章 穩定理論 9.1 穩定理論與可定義型 9.2 可分割性 9.3 ω-穩定理論中的分叉參考文獻索引
展開全部
初等模型論/姚寧遠/邏輯與形而上學教科書系列 作者簡介
姚寧遠 2015年獲得中山大學博士學位，并于同年進入復旦大學哲學學院擔任講師，2017年在法國高等科學研究所做博士后研究。主要研究領域是模型論及其應用。現已發表SCl論文6篇，CSSCI論文1篇。獲得國家自科青年基金、上海浦江計劃基金以及上海晨光計劃基金的資助。
書友推薦
- >
山海經
- >
姑媽的寶刀
- >
唐代進士錄
- >
有舍有得是人生
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
李白與唐代文化
- >
我從未如此眷戀人間
- >
朝聞道
本類暢銷
