2025年4月25日
数据流分析方法基础
摘要： 南京大学《软件分析》学习笔记 1 课太好了，忍不住写篇博客从头推导一下 理论 偏序集 poset 偏序关系 偏序关系是满足下面三个条件的二元关系： 自反性 反对称性 传递性 偏序集 poset 偏序集定义为一个集合以及集合上的偏序关系，表示为 \((P, \sqsubseteq)\) 上界 uppe 阅读全文
posted @ 2025-04-25 21:18 sysss 阅读(24) 评论(0) 推荐(0)