离散数学教材 2.pdf

网页 资讯 视频 图片 知道 文库 贴吧 采购 地图 | 百度首页 登录 VIP新客立减2元 意见反馈 下载客户端 11/8/2019 北京大学离散数学教材 2 - 百度文库 【填问卷赢百度文库VIP】 现 邀 请 您 参 加 互联 网学 习状 况 专 项 调 研 ，调研采用匿名方式 ，调研结果只用 © (刘爱民) © (刘爱民) Discrete Mathematics 2002 Liu A imin Discrete Mathematics 2002 Liu A imin 于 科 研 以 间接 提 供 决 策 支 持 与 社 会 服 首页 分类 精品内容 申请认证 机构合作 频道专区 会员中心 务 ，请如实、客观地填写。我们将从有 效 问卷 中抽取 30份送百度文库VIP会员 百度文库 教育专区 高等教育 理学 卡，欢迎猛戳... 查看详情 2 命题逻辑等值演算 2 命题逻辑等值演算 学习目的 学习目的 本章主要涉及命题演算中两个重要内容之一：等值 本章主要涉及命题演算中两个重要内容之一：等值 演算。首先理解命题公式等值的含义，掌握构造真 演算。首先理解命题公式等值的含义，掌握构造真 值表和不构造真值表两种方法证明等值式，熟练应 值表和不构造真值表两种方法证明等值式，熟练应 用于命题公式的化简和范式表示 用于命题公式的化简和范式表示 基本内容 基本内容 z z 命题公式等值关系及其证明 命题公式等值关系及其证明 z z 联结词的全功能集 联结词的全功能集 z z 命题公式的范式表示