扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
思想道德与法治(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篇。获得国家自科青年基金、上海浦江计划基金以及上海晨光计划基金的资助。
书友推荐
- >
二体千字文
二体千字文
¥14.0¥40.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
史学评论
史学评论
¥13.9¥42.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.3¥10.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.1¥24.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
有舍有得是人生
有舍有得是人生
¥20.1¥45.0
本类畅销
-
食品添加剂
¥33.5¥45 -
VB语言程序设计
¥29.9¥39.8 -
C语言程序设计习题与实验指导
¥9.1¥18 -
地下建筑结构-(第三版)-(赠课件)
¥49.4¥55 -
模具制图
¥37.8¥49 -
工程机械结构认知
¥10.5¥22
