模态逻辑(第2版)--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

模态逻辑是非经典逻辑中发展最成熟、成果最丰富的一个分支。《模态逻辑（第二版）》是在2015年由南开大学出版社出版的《模态逻辑》的基础上修订完成的。本教材在单模态语言的基础上，引入和使用了多模态语言，介绍了一些模态逻辑中目前比较新的、流行的概念和方法，如：加标转移结构、互模拟等，有助于学生了解模态逻辑发展的前沿、学习模态逻辑的最新知识、掌握模态逻辑最新的概念和方法。

第一章命题逻辑概述 1.1 命题语言 1.2 二值语义学 1.3 证明论 1.4 完全性 1.5 练习第二章基本模态语言 2.1 引言 2.2 基本模态语言 2.3 模态公式K，D和T 2.4 模态公式4，5和B 2.5 模态逻辑K，D和T 2.6 模态逻辑S4，S5和B 2.7 练习第三章多模态语言 3.1 多模态语言 3.2 一些特殊的模态公式 3.3 代入 3.4 子公式 3.5 练习第四章加标转移结构 4.1 加标转移结构 4.2 三个例子 4.3 模态代数 4.4 一些对应关系 4.5 菱形算子 4.6 练习第五章赋值和可满足 5.1 赋值 5.2 基本可满足关系 5.3 两个例子和两个结论 5.4 三种可满足关系 5.5 模态代数的语义 5.6 练习第六章一些对应结果 6.1 一些例子 6.2 一些汇合的性质及例子 6.3 一些非汇合的性质 6.4 练习第七章一般的汇合结果 7.1 一些约定 7.2 结构的性质 7.3 公式集 7.4 一般的汇合结果 7.5 练习第八章三种语义后承 8.1 三种语义后承 8.2 存在的问题 8.3 练习第九章形式系统

模态逻辑(第2版)

库存： {{selectedSku?.stock}} 库存充足