小杨今天翻开尘封的离散数学书，感觉从来没有学过这门课一样，那好吧，虽然大一下学期学过，但是既然从来没有学过，就重头学习吧。
看了离散数学这本书的目录（清华大学出版 耿素云等等作者的），里面有树和图（图的概念貌似很多
），看来上辈子和计算机是一家呢。
），看来上辈子和计算机是一家呢。
整理了一下第一章部分知识点，分享给大家。晚安。
数理逻辑：逻辑演算，证明论，公理集合论，递归论，模型论（
看来还是一个很庞大的体系啊，离散数学第一章只涉及逻辑演算这点）
看来还是一个很庞大的体系啊，离散数学第一章只涉及逻辑演算这点）
判断真假的陈述句——命题——具有
唯一真值的
陈述句
简单命题：不能再分解的命题
真值可以变化的简单的衬塑——命题变项/命题变远——不是命题
合取式 p∧q (和)
析取式 pvq (或)
蕴含式 如果p则q，p→q
最低0.47元/天 解锁文章
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
