模块定位 核心问题：怎样读写一个严格命题，并知道自己究竟证明了什么？ 本页是“大而全”课程中的模块级教学提纲。每一个表格行都将独立成单概念短课；短课必须包含定义、推导、反例、计算例子和带答案自测，不能只给名词解释。 前置知识 四则运算 模…
有点笨有点猪