2025年9月10日
高等代数 I
摘要： 高等代数 I 阅读全文
posted @ 2025-09-10 17:27 grass8woc 阅读(51) 评论(0) 推荐(0)
数学分析 I
摘要： 数学分析 I 阅读全文
posted @ 2025-09-10 17:26 grass8woc 阅读(51) 评论(0) 推荐(2)
离散数学与结构 Part1
摘要： 朴素集合论，命题逻辑，自然演绎，Kripke model，一阶逻辑，Peano 算术，一阶逻辑的完备性，ZFC 集合论，Gödel 不完备定理，初等数论 阅读全文
posted @ 2025-09-10 17:24 grass8woc 阅读(80) 评论(0) 推荐(0)