成功加入购物车

去购物车结算 X
孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索
问典书店
  • 数理逻辑与集合论
图文详情

数理逻辑与集合论

举报

正版新书 新华官方库房直发 可开电子发票

  • 作者: 
  • 出版社:    科学出版社
  • ISBN:    9787030469083
  • 出版时间: 
  • 版次:    1
  • 装帧:    平装
  • 开本:    16开
  • 纸张:    胶版纸
  • 页数:    244页
  • 字数:    307千字
  • 作者: 
  • 出版社:  科学出版社
  • ISBN:  9787030469083
  • 出版时间: 
  • 版次:  1
  • 装帧:  平装
  • 开本:  16开
  • 纸张:  胶版纸
  • 页数:  244页
  • 字数:  307千字

售价 ￥ 44.84 7.6折

定价 ￥59.00 

品相 全新品相描述

优惠 满包邮

优惠 满减券
    运费
    本店暂时无法向该地区发货

    延迟发货说明

    时间：
    说明：

    上书时间2024-10-04

    数量
    库存2件
    立即购买 加入购物车 收藏
    微信扫描下方二维码
    微信扫描打开成功后，点击右上角”...“进行转发

    卖家超过10天未登录

    四年老店
    问典书店
    店铺等级
    资质认证
    90天平均
    成功完成
    93.16% (1215笔)
    好评率
    99.89%
    发货时间
    11.49小时
    店主
    文饰
    联系
    在线交谈 离线留言
    进店逛逛 收藏店铺
    • 商品详情
    • 店铺评价
    立即购买 加入购物车 收藏
    手机购买
    微信扫码访问
    • 商品分类：
      自然科学
      货号：
      SC:9787030469083
      品相描述：全新
      全新正版 提供发票
      商品描述：
      内容简介:
      房元霞、赵汝木、盛秀艳编著的《数理逻辑与集合论》的内容为数理逻辑和集合论，共8章。第1～5章是数理逻辑部分：第1～3章是数理逻辑，包括命题逻辑、谓词逻辑及其公理化理论；第4章是简单模态逻辑，第5章是利用基础知识分析基础教育阶段数学教学中遇到的问题。在每一节中将本节内容所渗透的重要的思想方法提炼出来放在后面，以期利于读者对内容的深入理解和对数学思想方法的进一步思考。第6～8章是集合论部分，包括集合、关系、函数、实数集与基数等基础知识。本书主要适合中小学数学教师或师范院校数学专业学生阅读，也可作为大学离散数学的教科书，还可供从事计算机科学、人工智能等方面的科技人员参考。
      目录:
      前言

      数理逻辑部分

      数理逻辑简介 3

      1 命题逻辑及其思想方法 8

      1.1 命题与联结词 8

      1.2 命题公式及其赋值 20

      1.3 等值式 28

      1.4 析取范式与合取范式 36

      1.5 联结词的完备集 51

      1.6 推理的形式结构 54

      1.7 自然推理系统P 60

      1.8 反证法的逻辑基础 66

      习题1 69

      2 谓词逻辑及其思想方法 74

      2.1 谓词逻辑命题符号化 77

      2.2 谓词公式及解释 82

      2.3 谓词逻辑等值演算 86

      2.4 谓词逻辑前束范式 93

      2.5 谓词逻辑的推理理论 95

      习题2 100

      3 命题逻辑与谓词逻辑的公理化理论及其思想方法 104

      3.1 公理化理论的基本思想 104

      3.2 命题逻辑的公理系统 108

      3.3 谓词逻辑公理系统 112

      习题3 115

      4 模态逻辑的基础知识及其思想方法 116

      4.1 模态逻辑概述 117

      4.2 模态命题逻辑 119

      4.3 模态谓词逻辑 126

      习题4 129

      5 现代数学课程中的数理逻辑问题分析 131

      5.1 开关电路与布尔代数 131

      5.2 布尔函数 137

      5.3 布尔函数的逻辑电路 145

      5.4 高中数学简易逻辑中几个概念的辨析及教学建议 150

      5.5 描述法表示集合 155

      5.6 命题否定中文献中常见错误及析解 159

      习题5 162
      ...

      配送说明

      ...

      相似商品

      为你推荐

    孔网分类
    图书
    © 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
    关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全
    孔网啦啦啦啦啦纺织女工火锅店第三课

    开播时间：09月02日 10:30

    即将开播，去预约
    直播中，去观看