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