点击选择搜索分类
蛐蛐文库 -【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925

【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925 下载 kindle 电子版 pdf mobi pmlz 夸克云 caj

【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925精美图片

【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925电子书下载地址

》【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925电子书籍版权问题 请点击这里查看《

【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925书籍详细信息

  • ISBN：9787030343925
  • 作者：暂无作者
  • 出版社：暂无出版社
  • 出版时间：2012-07
  • 页数：195
  • 价格：35.10
  • 纸张：胶版纸
  • 装帧：平装-胶订
  • 开本：16开
  • 语言：未知
  • 丛书：暂无丛书
  • TAG：暂无
  • 豆瓣评分：暂无豆瓣评分
  • 豆瓣短评：点击查看
  • 豆瓣讨论：点击查看
  • 豆瓣目录：点击查看
  • 读书笔记：点击查看
  • 原文摘录：点击查看

寄语：

团购可联系在线客服询优惠价 可开发票 正版保证

内容简介：

《分次模态语言的模型论》内容简介：分次模态逻辑是有限基数的模态逻辑。 分次模态语言的模型论给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，分次模态语言的模型论还给出了结构类的可定义性定理。

《分次模态语言的模型论》适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。

书籍目录：

总序

前言

导论

章 计数模态语言

1.1 模态逻辑的语义视角

1.2 计数模态语言

1.3 构造模型和框架的基本方法

1.4 分次模态逻辑

第2章 分次模态语言的关系语义学

2.1 模型和框架构造

2.2 分次超滤扩张与饱和

2.3 模型和框架可定义性

2.4 范本特姆-罗森刻画定理

2.5 GML和FOL(C)之间的框架对应

总序

前言

导论

章 计数模态语言

1.1 模态逻辑的语义视角

1.2 计数模态语言

1.3 构造模型和框架的基本方法

1.4 分次模态逻辑

第2章 分次模态语言的关系语义学

2.1 模型和框架构造

2.2 分次超滤扩张与饱和

2.3 模型和框架可定义性

2.4 范本特姆-罗森刻画定理

2.5 GML和FOL(C)之间的框架对应

第3章 分次模态余代数

3.1 分次模态语言的余代数语义

3.2 分次模态代数

3.3 分次模态代数与余代数之间的对偶

3.4 有限余代数和余代数模型的可定义性

3.5 GML的泛余代数

第4章 公理系统和完全性

4.1 分次正规模态逻辑

4.2 典范余代数模型

4.3 一些完全的逻辑

4.4 代数完全性与典范性

4.5 GML的嵌入定理

第5章 余代数对应理论

5.1 弱二阶逻辑与翻译

5.2 无变元公式与统一公式

5.3 分次萨奎斯特对应定理

5.4 非分次萨奎斯特公式

5.5 萨奎斯特完全性定理

第6章 有限模型性质

6.1 过滤模型

6.2 NExt(Kg42)中子余代数逻辑

6.3 Kg43的典范公式

6.4 正规分次模态格NExt(KgAltn)

第7章 公式的分类

7.1 Ω模拟与正存在公式

7.2 点Ω子模型保持

7.3 GML的Chang-Los-Suszko定理

7.4 保序与正公式

7.5 子框架保持

第8章 分次模态逻辑的扩张

8.1 分次全通模态词

8.2 分次异点算子

8.3 无限基数的模态逻辑

8.4 GML的Lindstr?m定理

参考文献

附录A 模型论与泛代数

附录B 基本模态逻辑

附录C 余代数理论

后记

显示信息

作者介绍：

暂无相关内容，正在全力查找中

出版社信息：

暂无出版社相关信息，正在全力查找中！

书籍摘录：

暂无相关书籍摘录，正在全力查找中！

在线阅读/听书/购买/PDF下载地址：

在线阅读地址：【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925在线阅读

在线听书地址：【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925在线收听

在线购买地址：【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925在线购买

原文赏析：

暂无原文赏析，正在全力查找中！

其它内容：

书籍介绍

《分次模态语言的模型论》内容简介：分次模态逻辑是有限基数的模态逻辑。 分次模态语言的模型论给出了分次模态逻辑的余代数语义，研究余代数结构类在分次模态语言中的可定义性问题；证明了几条可定义性定理，使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性；探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论，以及分次模态公式的分类和几个扩张表达力的语言。此外，在关系语义学下，分次模态语言的模型论还给出了结构类的可定义性定理。

《分次模态语言的模型论》适合现代逻辑专业、数学专业以及计算机领域的研究人员和高校师生参考阅读。

书籍真实打分

  • 故事情节：9分

  • 人物塑造：6分

  • 主题深度：6分

  • 文字风格：4分

  • 语言运用：5分

  • 文笔流畅：9分

  • 思想传递：6分

  • 知识深度：3分

  • 知识广度：9分

  • 实用性：8分

  • 章节划分：7分

  • 结构布局：5分

  • 新颖与独特：4分

  • 情感共鸣：7分

  • 引人入胜：4分

  • 现实相关：5分

  • 沉浸感：5分

  • 事实准确性：3分

  • 文化贡献：5分

网站评分

  • 书籍多样性：5分

  • 书籍信息完全性：9分

  • 网站更新速度：9分

  • 使用便利性：8分

  • 书籍清晰度：9分

  • 书籍格式兼容性：3分

  • 是否包含广告：3分

  • 加载速度：5分

  • 安全性：3分

  • 稳定性：8分

  • 搜索功能：4分

  • 下载便捷性：7分

下载点评

  • 差评少(258+)
  • 赞(501+)
  • 在线转格式(565+)
  • 无漏页(666+)
  • 强烈推荐(440+)
  • 图书多(98+)
  • 内涵好书(92+)
  • 推荐购买(575+)
  • 一星好评(657+)
  • 值得购买(642+)
  • 不亏(318+)
  • 微信读书(546+)
  • 品质不错(149+)

下载评价

  • 网友 石***烟：

    还可以吧，毕竟也是要成本的，付费应该的，更何况下载速度还挺快的

  • 网友 步***青：

    。。。。。好

  • 网友 宓***莉：

    不仅速度快，而且内容无盗版痕迹。

  • 网友 师***怀：

    好是好，要是能免费下就好了

  • 网友 索***宸：

    书的质量很好。资源多

  • 网友 寇***音：

    好，真的挺使用的！

  • 网友 康***溪：

    强烈推荐！！！

  • 网友 益***琴：

    好书都要花钱，如果要学习，建议买实体书；如果只是娱乐，看看这个网站，对你来说，是很好的选择。

  • 网友 菱***兰：

    特好。有好多书

  • 网友 扈***洁：

    还不错啊，挺好

  • 网友 养***秋：

    我是新来的考古学家

  • 网友 饶***丽：

    下载方式特简单，一直点就好了。

  • 网友 敖***菡：

    是个好网站，很便捷

喜欢"【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925"的人也看了

【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925分类索引数据信息

ISBN：9787030343925
出版社：暂无出版社
出版日期：2012-07
作者：暂无作者
TAGS：暂无
随机推荐

© 2009-2025 蛐蛐文库 京ICP备2024085379号

免责声明：本站数据来自互联网公开的数据索引，如果侵犯了您的版权，请点击这里联系删除
对于本站页面标记为“广告、ad” 或非本站域名的链接内容不受本站管控，请自行辨别内容真实性/合法性，本站对此类信息或者链接内容的真实性/合法性不负责任。