孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

数理逻辑

数理逻辑
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 著
出版社: 北京大学出版社
2008-08
版次: 1
ISBN: 9787301112557
定价: 28.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 273页
正文语种: 简体中文
分类: 教材教辅考试>教材>大学教材>工程技术
1 张插图图片
  • 　　《数理逻辑》是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，《数理逻辑》只介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必要装备，也因此构成目前大学教育的一个基础部分，在哲学、语言学等文科专业和数学、计算机科学等理科专业里，普遍列为必修或选修的内容。当然，按照一种比较理想的要求，大学生对逻辑的了解，还应该包括更深层次的内容，如适当部分的模型论、基本的不可判定性结果、哥德尔不完全性定理的证明等。但这些更深层次的内容适合于在更加专门的课程中介绍。 邢滔滔，北京大学哲学系副教授 第一章　绪论：从直观到形式
    1　从“矛盾”说起
    2　直观上的推理
    3　正确推理
    4　一阶语言
    5　推演系统
    第二章　集合
    1　集合（不）是什么？
    2　关系
    3　函数
    4　可数集与不可数集
    第三章　一阶语言的语形
    1　字母表
    2　归纳定义
    3项
    4　公式
    5　递归定义
    6自由和约束代入
    第四章　经典语义学
    1　结构与解释
    2　等词、量词和联结词
    3　满足真
    4　语义后承
    5　可满足性有效性语义等值
    6　代入引理
    7　模型举例
    第五章自然推演系统
    1　推理规则概说
    2　联结词规则
    3　命题推演语形后承
    4　量词和等词规则
    5　一阶推演
    6　经典与直觉主义逻辑的关系
    第六章　可靠性与完全性
    1　经典可靠性
    2　一致性
    3　经典命题完全性
    4　Henkin定理
    5　可满足性定理
    6　经典完全性
    7紧致性定理与Lowenheim-Skolem定理
    8　直觉主义完全性
    参考文献
  • 内容简介:
    　　《数理逻辑》是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，《数理逻辑》只介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必要装备，也因此构成目前大学教育的一个基础部分，在哲学、语言学等文科专业和数学、计算机科学等理科专业里，普遍列为必修或选修的内容。当然，按照一种比较理想的要求，大学生对逻辑的了解，还应该包括更深层次的内容，如适当部分的模型论、基本的不可判定性结果、哥德尔不完全性定理的证明等。但这些更深层次的内容适合于在更加专门的课程中介绍。
  • 作者简介:
    邢滔滔，北京大学哲学系副教授
  • 目录:
    第一章　绪论：从直观到形式
    1　从“矛盾”说起
    2　直观上的推理
    3　正确推理
    4　一阶语言
    5　推演系统
    第二章　集合
    1　集合（不）是什么？
    2　关系
    3　函数
    4　可数集与不可数集
    第三章　一阶语言的语形
    1　字母表
    2　归纳定义
    3项
    4　公式
    5　递归定义
    6自由和约束代入
    第四章　经典语义学
    1　结构与解释
    2　等词、量词和联结词
    3　满足真
    4　语义后承
    5　可满足性有效性语义等值
    6　代入引理
    7　模型举例
    第五章自然推演系统
    1　推理规则概说
    2　联结词规则
    3　命题推演语形后承
    4　量词和等词规则
    5　一阶推演
    6　经典与直觉主义逻辑的关系
    第六章　可靠性与完全性
    1　经典可靠性
    2　一致性
    3　经典命题完全性
    4　Henkin定理
    5　可满足性定理
    6　经典完全性
    7紧致性定理与Lowenheim-Skolem定理
    8　直觉主义完全性
    参考文献
查看详情
相关分类
一年级 二年级 三年级 四年级 五年级 六年级 小升初 小学通用 初一 初二 初三 中考 初中通用 高一
您可能感兴趣 / 更多
数理逻辑
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥18.60 起
数理逻辑
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著，林胜强、李晟 修订
￥47.05 起
数理逻辑
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥18.96 起
数理逻辑
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥80.00 起
数理逻辑
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
￥18.95 起
数理逻辑
数理金融（仅馆配）
作者
￥18.90 起
数理逻辑
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥34.26 起
数理逻辑
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥27.44 起
系列丛书 / 更多
数理逻辑
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥18.60 起
数理逻辑
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著，林胜强、李晟 修订
￥47.05 起
数理逻辑
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥18.96 起
数理逻辑
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥80.00 起
数理逻辑
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
￥18.95 起
数理逻辑
数理金融（仅馆配）
作者
￥18.90 起
数理逻辑
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥34.26 起
数理逻辑
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥27.44 起
相关图书 / 更多
数理逻辑
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥18.60 起
数理逻辑
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著，林胜强、李晟 修订
￥47.05 起
数理逻辑
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥18.96 起
数理逻辑
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥80.00 起
数理逻辑
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
￥18.95 起
数理逻辑
数理金融（仅馆配）
作者
￥18.90 起
数理逻辑
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥34.26 起
数理逻辑
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥27.44 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全