计算机科学的数学基础
关注
分享
扫一扫
文章平均质量分 88
用数学语言描述计算机科学里的所有对象
haoly1989
这个作者很懒，什么都没留下…
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
离散数学篇--集合跟图模型的对应关系
总结图模型和集合的对应关系原创 2025-07-05 12:26:35 · 129 阅读 · 0 评论 -
离散数学篇--可达性问题
有限图的可达性问题的形式化定义与算法实现原创 2025-07-02 18:13:13 · 715 阅读 · 0 评论 -
离散数学篇--有向无环图和调度
以穿衣服流程为例来展示跟有向无环图有关的计算，比如拓扑排序、关键路径、反链等原创 2025-06-30 13:22:03 · 583 阅读 · 0 评论 -
离散数学-算术表达式-递归定义
算术表达式递归定义原创 2025-04-25 10:55:05 · 682 阅读 · 0 评论 -
离散数学篇--字符串--递归定义
字符串的递归定义原创 2025-04-24 14:45:46 · 939 阅读 · 0 评论 -
离散数学篇-归纳法汇总
归纳法汇总原创 2025-04-11 10:28:37 · 646 阅读 · 0 评论 -
离散数学篇-数学证明书写规范
归纳法证明书写规范原创 2025-04-11 10:27:40 · 1141 阅读 · 0 评论 -
离散数学篇--步长为k的归纳法
步长为k的归纳法变体原创 2025-04-09 06:52:08 · 731 阅读 · 0 评论 -
离散数学篇--归纳法使用常犯错误汇总
归纳法使用常犯错误原创 2025-04-08 09:46:14 · 982 阅读 · 0 评论 -
离散数学篇-普通归纳法变体
归纳法汇总原创 2025-04-08 09:42:05 · 910 阅读 · 0 评论 -
离散数学篇-普通归纳法、强归纳法、良序原理之间的可转换性
普通归纳法、强归纳法、良序原理之间是相互可转换的原创 2025-04-03 10:13:10 · 810 阅读 · 0 评论 -
离散数学篇--复合函数性质总结
复合函数性质总结原创 2025-03-28 12:02:42 · 1118 阅读 · 0 评论 -
离散数学篇-关系性质总结
关系性质总结原创 2025-03-27 10:29:01 · 1134 阅读 · 0 评论 -
数理逻辑篇--从基本谓词开始构建数学概念
如何从基本的加法和乘法出发来构建数学概念？原创 2025-03-21 10:23:06 · 980 阅读 · 0 评论 -
数理逻辑篇--认识3CNF
理解3CNF原创 2025-03-19 10:10:26 · 1067 阅读 · 0 评论 -
数字电路篇--设计并行半加器
设计并行半加器原创 2025-03-17 11:22:05 · 474 阅读 · 0 评论 -
数字电路篇--全加器和半加器
全加器和半加器原创 2025-03-15 09:47:37 · 3400 阅读 · 0 评论 -
离散数学练习题--问题3.5和启发
问题3.5及其启发原创 2025-03-13 18:12:20 · 731 阅读 · 0 评论 -
集合论--形式化语言里的汇编码
集合构建一切原创 2025-03-05 13:09:12 · 506 阅读 · 0 评论 -
一阶逻辑篇--一门数学编程语言
从数学编程语言角度解读一阶逻辑原创 2025-03-04 23:47:06 · 938 阅读 · 0 评论 -
良序原理应用2--证明自然数求和公式
使用良序原理证明求和公式原创 2025-03-04 09:42:01 · 711 阅读 · 0 评论 -
良序原理应用1--证明任意正整数的分数形式都可以表示为最简形式
使用良序原理证明任意正整数形式的分数都可以表示为最简形式原创 2025-03-04 09:40:13 · 856 阅读 · 0 评论 -
良序原理应用3--证明素数分解定理
运用良序原理证明素数分解定理原创 2025-03-04 09:36:43 · 757 阅读 · 0 评论