离散数学05 推理形式推理形式 示例 前提 和 结论 ，表示了一种 推理关系 。 如果我想逃避，那么我就会拼命找借口；我想逃避，所以我找借口。 (★) 例题#…姜睿September 03, 2022 1 min
离散数学04 主范式极大项 & 极小项 极小项 没有两个不同的极小项是等价的。 极大项 没有两个不同的极大项是等价的。 (★) 例题#1 - 求下列命题公式的极大项或极小项编码 性质姜睿August 27, 2022 1 min
数学分析03 绝对值与不等式实数的绝对值定义 数轴上，实数 到原点的距离。 实数的性质 性质#1 性质#2 性质#3 证明 性质#4 - 三角不等式 证明 性质#5 证明 性质#6姜睿August 04, 2022 1 min
