【正版全新】 分次模态语言的模型论马明辉著科学出版社9787030343925 下载 pdb txt pdf 百度云 kindle umd 夸克云

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

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

  • I***N: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 ***L和FOL(C)之间的框架对应

总序

前言

导论

章 计数模态语言

1.1 模态逻辑的语义视角

1.2 计数模态语言

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

1.4 分次模态逻辑

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

2.1 模型和框架构造

2.2 分次超滤扩张与饱和

2.3 模型和框架可定义性

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

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

第3章 分次模态余代数

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

3.2 分次模态代数

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

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

3.5 ***L的泛余代数

第4章 公理系统和完全性

4.1 分次正规模态逻辑

4.2 典范余代数模型

4.3 一些完全的逻辑

4.4 代数完全性与典范性

4.5 ***L的嵌入定理

第5章 余代数对应理论

5.1 弱二阶逻辑与翻译

5.2 无变元公式与统一公式

5.3 分次萨奎斯特对应定理

5.4 非分次萨奎斯特公式

5.5 萨奎斯特完全性定理

第6章 有限模型性质

6.1 过滤模型

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

6.3 Kg43的典范公式

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

第7章 公式的分类

7.1 Ω模拟与正存在公式

7.2 点Ω子模型保持

7.3 ***L的Chang-Los-Suszko定理

7.4 保序与正公式

7.5 子框架保持

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

8.1 分次全通模态词

8.2 分次异点算子

8.3 无限基数的模态逻辑

8.4 ***L的Lindstr?m定理

参考文献

附录A 模型论与泛代数

附录B 基本模态逻辑

附录C 余代数理论

后记

显示信息


作者介绍:

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


出版社信息:

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


书籍摘录:

暂无相关书籍摘录,正在全力查找中!



原文赏析:

暂无原文赏析,正在全力查找中!


其它内容:

书籍介绍

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

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


书籍真实打分

  • 故事情节:4分

  • 人物塑造:8分

  • 主题深度:5分

  • 文字风格:5分

  • 语言运用:5分

  • 文笔流畅:8分

  • 思想传递:7分

  • 知识深度:8分

  • 知识广度:7分

  • 实用性:4分

  • 章节划分:5分

  • 结构布局:9分

  • 新颖与独特:4分

  • 情感共鸣:5分

  • 引人入胜:5分

  • 现实相关:3分

  • 沉浸感:6分

  • 事实准确性:9分

  • 文化贡献:9分


网站评分

  • 书籍多样性:5分

  • 书籍信息完全性:6分

  • 网站更新速度:5分

  • 使用便利性:8分

  • 书籍清晰度:9分

  • 书籍格式兼容性:6分

  • 是否包含广告:6分

  • 加载速度:9分

  • 安全性:6分

  • 稳定性:4分

  • 搜索功能:6分

  • 下载便捷性:6分


下载点评

  • 无水印(113+)
  • 盗版少(494+)
  • 购买多(497+)
  • 体验好(454+)
  • 种类多(213+)
  • 三星好评(520+)
  • 二星好评(183+)
  • 好评多(370+)
  • 经典(553+)
  • 情节曲折(579+)
  • 内涵好书(527+)
  • 内容完整(112+)

下载评价

  • 网友 孙***美:

    加油!支持一下!不错,好用。大家可以去试一下哦

  • 网友 冯***丽:

    卡的不行啊

  • 网友 龚***湄:

    差评,居然要收费!!!

  • 网友 宫***凡:

    一般般,只能说收费的比免费的强不少。

  • 网友 田***珊:

    可以就是有些书搜不到

  • 网友 冉***兮:

    如果满分一百分,我愿意给你99分,剩下一分怕你骄傲

  • 网友 訾***晴:

    挺好的,书籍丰富

  • 网友 利***巧:

    差评。这个是收费的

  • 网友 堵***格:

    OK,还可以

  • 网友 瞿***香:

    非常好就是加载有点儿慢。

  • 网友 康***溪:

    强烈推荐!!!


随机推荐