现代逻辑导引--聚文网

精选

¥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

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

旧时风物(精)

三希堂三帖/墨林珍赏

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

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

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

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

内容简介

《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍，主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用，也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用，还可供对现代逻辑学感兴趣的读者自学使用。

绪论
A.1 逻辑学的对象和性质
A.2 逻辑思维的基本规律
A.3 逻辑思想与学习逻辑的方法
1命题逻辑
1.1 词项与命题
1.2 简单命题及其推理
1.3 复合命题及其推理
练习题

2 命题演算
2.1 命题演算概述
2.2 命题演算系统LP
2.3 命题演算系统LP的可靠性和完全性
练习题

3 谓词逻辑
3.1 谓词和量词
3.2 形式语言
3.3 命题的量化形式结构
3.4 谓词逻辑推理的规则
练习题

4 谓词演算
4.1 谓词演算
4.2 演绎定理
4.3 谓词演算的可靠性与完全性
练习题

5 模态逻辑
5.1 模态逻辑概述
5.2 可能世界语义学
5.3 框架、模型和有效性
练习题

6 模态命题演算
6.1 形式语言LPM
6.2 K,D和T系统
6.3 S4,S5和B系统
6.4 模态系统的可靠性与完全性
练习题

7 现代逻辑的现代发展
7.1 时态逻辑
7.2 认知逻辑
7.3 自然语言逻辑
参考文献
后记

现代逻辑导引

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