离散数学(上)

离散数学(上)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: ,
1987-11
版次: 1
ISBN: 9787301006740
定价: 10.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 268页
字数: 200千字
  • 本书系统地介绍了数理编辑的基础知识和集合代数的部分内容。包括命题编辑、集合、二元关系、函数、基数、公理集合论等。另外还附有部分习题的提示和解答。此书适用于自学青年阅读,并且可供高等院校数学专业、计算机专业学生学习参考。 第一章 命题逻辑基本概念

      1 命题符号化

      2 合式公式与真值函数

      习题一

    第二章 命题逻辑等值演算

      1 等值关系

      2 联结词的全功能集

      3 析取范式与合取范式

      习题二

    第三章 命题逻辑自然推理

      1 推理的形式结构

      2 自然推理系统P

      3 证明方法

      习题三

    第四章 命题逻辑公理系统

      1 公理系统与形式系统

      2 公理系统L

      L的演绎定理

      L的性质

      习题四

    第五章 一阶逻辑基本概念

      1 一阶逻辑命题符号化

      2 一阶语言

      3 解释与赋值

      4 真与逻辑有效

      习题五

    第六章 一阶逻辑等值演算

      1 一阶逻辑等值式

      2 置换规则

      3 前束范式

      习题六

    第七章 一阶逻辑的形式推理

      1 推理定律 

      2 自然推理系统F

      3 公理系统K

      4 K的性质

      习题七

    第八章 集合代数

      1 集合的基本概念

      2 集合的运算

      3 集合恒等式

      习题八

    第九章 二元关系

    第十章 函数

    第十一章 集合的基数

    第十二章 公理集合论简介

    参考书目

    部分习题的提示或解答
  • 内容简介:
    本书系统地介绍了数理编辑的基础知识和集合代数的部分内容。包括命题编辑、集合、二元关系、函数、基数、公理集合论等。另外还附有部分习题的提示和解答。此书适用于自学青年阅读,并且可供高等院校数学专业、计算机专业学生学习参考。
  • 目录:
    第一章 命题逻辑基本概念

      1 命题符号化

      2 合式公式与真值函数

      习题一

    第二章 命题逻辑等值演算

      1 等值关系

      2 联结词的全功能集

      3 析取范式与合取范式

      习题二

    第三章 命题逻辑自然推理

      1 推理的形式结构

      2 自然推理系统P

      3 证明方法

      习题三

    第四章 命题逻辑公理系统

      1 公理系统与形式系统

      2 公理系统L

      L的演绎定理

      L的性质

      习题四

    第五章 一阶逻辑基本概念

      1 一阶逻辑命题符号化

      2 一阶语言

      3 解释与赋值

      4 真与逻辑有效

      习题五

    第六章 一阶逻辑等值演算

      1 一阶逻辑等值式

      2 置换规则

      3 前束范式

      习题六

    第七章 一阶逻辑的形式推理

      1 推理定律 

      2 自然推理系统F

      3 公理系统K

      4 K的性质

      习题七

    第八章 集合代数

      1 集合的基本概念

      2 集合的运算

      3 集合恒等式

      习题八

    第九章 二元关系

    第十章 函数

    第十一章 集合的基数

    第十二章 公理集合论简介

    参考书目

    部分习题的提示或解答
查看详情
您可能感兴趣 / 更多
离散数学(上)
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学(上)
离散数学(第二版)
古天龙;徐周波;常亮
离散数学(上)
离散数学(第二版)
邹丽娜;董丽薇
离散数学(上)
离散数学(第2版)
蔡之华
离散数学(上)
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学(上)
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学(上)
离散数学
胡新启;季霞;杨志坚
离散数学(上)
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学(上)
离散数学及其应用
孙志海
离散数学(上)
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学(上)
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学(上)
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂
系列丛书 / 更多
离散数学(上)
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学(上)
离散数学(第二版)
古天龙;徐周波;常亮
离散数学(上)
离散数学(第二版)
邹丽娜;董丽薇
离散数学(上)
离散数学(第2版)
蔡之华
离散数学(上)
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学(上)
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学(上)
离散数学
胡新启;季霞;杨志坚
离散数学(上)
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学(上)
离散数学及其应用
孙志海
离散数学(上)
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学(上)
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学(上)
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂
相关图书 / 更多
离散数学(上)
离散数学解题指导(第3版)
贲可荣;袁景凌;谢茜
离散数学(上)
离散数学(第二版)
古天龙;徐周波;常亮
离散数学(上)
离散数学(第二版)
邹丽娜;董丽薇
离散数学(上)
离散数学(第2版)
蔡之华
离散数学(上)
离散数学学习指导与习题解析
王庆先 顾小丰 王丽杰
离散数学(上)
离散与组合数学手册:第二版(上下)英文
[美]肯尼斯·H.罗森(Kenneth;H.Rosen
离散数学(上)
离散数学
胡新启;季霞;杨志坚
离散数学(上)
离散与计算几何手册——第三版(上中下)英文
[美]雅各布·E.古德曼(Jacob E.Goodman);[美]约瑟夫·奥罗克;[美]乔鲍·D.托特
离散数学(上)
离散数学及其应用
孙志海
离散数学(上)
离散数学/成人高等教育教材
陈启浩 陈启浩
离散数学(上)
离散数学
张淑丽 主编;张晓晶 马超 谢孔峰 副主编
离散数学(上)
离散数学习题解答与学习指导(第4版)
屈婉玲;刘田;耿素云;张立昂