数理逻辑(新编21世纪哲学系列教材)--聚文网

精选

¥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

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

旧时风物(精)

三希堂三帖/墨林珍赏

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

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

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

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

内容简介

本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第 5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。

作者简介

...

第1章哲学缘起 1.1 哲学之求真 1.2 从哲学到逻辑 1.2.1 亚里士多德的逻辑与哲学 1.2.2 弗雷格的逻辑与哲学第2章命题逻辑 2.1 导言 2.1.1 什么是命题逻辑 2.1.2 命题逻辑发展简史 2.1.3 本章的基本脉络 2.2 语言 2.3 语义 2.3.1 真与真值 2.3.2 组合性 2.3.3 联词与真值表 2.3.4 形式语义 2.3.5 常见重言式 2.4 公理系统 2.4.1 命题演算 2.4.2 证明和内定理 2.4.3 演绎规则 2.4.4 演绎定理 2.4.5 公理的独立性 2.5 可靠性和完全性 2.5.1 可靠性证明 2.5.2 完全性证明 2.5.3 广义完全性定理 2.5.4 公理的独立性 2.5.5 紧致性和可判定性第3章一阶逻辑 3.1 导言 3.1.1 问题引入 3.1.2 早期简史 3.2 语法 3.2.1 基本语法 3.2.2 无歧义性 3.2.3 递归定义 3.2.4 归纳证明 3.2.5 自由变元 3.3 语义 3.3.1 结构与赋值 3.3.2 塔斯基语义 3.3.3 合同与代入 3.3.4 重要有效式 3.3.5 公式的范式 3.4 公理系统 3.4.1 公理系统 3.4.2 证明与演绎 3.4.3 重要元定理 3.4.4 演绎规则

数理逻辑(新编21世纪哲学系列教材)

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