大学课程笔记系列之离散数学
文章平均质量分 73
YvonneJue
这个作者很懒,什么都没留下…
展开
-
离散数学之数理逻辑01
前言:使用教材《离散数学》第2版,屈婉玲,耿素云,张立昂,高等教育出版社学习视频bilibili网站:【北大】离散数学-03数理逻辑以下笔记针对视频而作教材:《离散数学教程》耿素云,屈婉玲,王捍贫,北京大学出版社《数理逻辑——离散数学第一分册》王捍贫,北京大学出版社参考书《离散数学习题解析》耿素云,屈婉玲,王捍贫 北京大学出版社 2008年《面向计算机科学的数理逻辑》陆...原创 2018-11-05 18:27:41 · 929 阅读 · 0 评论 -
离散数学之数理逻辑02——命题逻辑
命题逻辑逻辑主要研究推理过程,而推理过程必须依靠命题来表达在命题逻辑中,“命题”被看作最小单位。数理逻辑中最基本、最简单的部分。直观(1)-> 半数学化(2-5) -> 形式化(6-10)什么是命题?命题是陈述客观外界发生事情的陈述句。命题是或为真或为假的陈述句。特征:陈述句真假必居其一,且只居其一其他观点:直觉主义逻辑,多值原创 2018-11-05 22:08:12 · 3401 阅读 · 0 评论