2022年6月17日
图
摘要： 阅读全文
posted @ 2022-06-17 12:57 彭书生 阅读(13) 评论(0) 推荐(0)
一阶逻辑等值演算与推理
摘要： 阅读全文
posted @ 2022-06-17 12:56 彭书生 阅读(13) 评论(0) 推荐(0)
集合代数
摘要： 阅读全文
posted @ 2022-06-17 12:56 彭书生 阅读(17) 评论(0) 推荐(0)
二元关系
摘要： 阅读全文
posted @ 2022-06-17 12:56 彭书生 阅读(22) 评论(0) 推荐(0)
离散数学1~3章思维导图
摘要： 阅读全文
posted @ 2022-06-17 12:55 彭书生 阅读(34) 评论(0) 推荐(0)
第一个博客
摘要： 在大学还开始接触软件技术这门专业的小白，接触这些代码可以说是一窍不通了。至于为什么选这业，在众多的专业选择里也就这个看上眼了，也有大部分原因是因为朋友选择这个专业。在接触这门专业的日子里有被它一系列复杂的代码看麻了，没有办法只能硬着头皮去学，希望以后的日子里能与它相处好一点。竟然选着了这条路就好好的 阅读全文
posted @ 2022-06-17 12:54 彭书生 阅读(29) 评论(0) 推荐(0)
谓词逻辑发展
摘要： 古希腊的亚里士多德等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹z于十七世纪中叶明确地 提出了建立通用的符号语言和通用代数的思想。 第一个完整的逻 阅读全文
posted @ 2022-06-17 12:53 彭书生 阅读(96) 评论(0) 推荐(0)
2022年5月13日
课堂作业
摘要： 课堂作业 课堂作业 阅读全文
posted @ 2022-05-13 14:38 彭书生 阅读(20) 评论(1) 推荐(0)