1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 大学课件/教案

离散数学及其应用第二版（何中胜）PPT完整全套教学课件.pptx

离散数学及其应用第二版（何中胜）PPT完整全套教学课件.pptx

    第1篇　数理逻辑数理逻辑逻辑学分为辨证逻辑与形式逻辑两种。用数学方法来研究推理的规律称为数理逻辑现代数理逻辑分为四论、两演算四论：证明论，递归论（它们与形式语言语法有关），模型论，公理化集合论（它们与形式语言的语义有关）。两演算：命题演算、谓词演算第1章命题逻辑1.1命题及其表示1.2逻辑联结词第1章命题逻辑－＞1.1命题及其表示定义1.1.1能够判断真假的陈述句称为命题（Proposition）。命题的判断结果称为命题的真值，常用1（或大写字母T

    离散数学及其应用

    课程内容第1篇数理逻辑第1章命题逻辑第2章谓词逻辑第2篇结合论第3章集合与关系第4章函数

    课程内容第3篇代数结构第5章代数结构第6章格与布尔代数第4篇图论第7章图

    第1篇数理逻辑

    数理逻辑逻辑学分为辨证逻辑与形式逻辑两种。用数学方法来研究推理的规律称为数理逻辑现代数理逻辑分为四论、两演算四论：证明论，递归论（它们与形式语言语法有关），模型论，公理化集合论（它们与形式语言的语义有关）。两演算：命题演算、谓词演算

    第1章命题逻辑1.1命题及其表示1.2逻辑联结词

    第1章命题逻辑－＞1.1命题及其表示定义1.1.1能够判断真

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >