博文
命题的黑箱模型~
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
命题的黑箱模型~
(此需求的形式或已一般化...).
---- 查调用关系*, Pro3.1的唯一上家是Lem3.2.
---- 理解 3.2 对理解 3.1 至关重要.
(命题3.1的需求该出自引理3.2).
.
又注: 原作花费近两页, 将输入和输出联系起来.
---- 7个步骤, 共11段.(即黑箱内部结构).
---- 能写出黑箱内部构造, 必已熟悉有关组件.
* * *
理解命题包括两个方面:
1. 外部, 命题的形成 (上下文, 需求).
2. 内部, 命题的证明 (思路, 自然起点).
.
命题关乎 “方法”, 而引理关乎 “入口”.
.
对于证明, “牢固的记忆”和 “探寻自然思路” 都很重要.
.
小结: 注意到 3.2 和 3.1 的关系.
https://blog.sciencenet.cn/blog-315774-1186912.html
上一篇：对命题的条件和结果做个分析~
下一篇：来一段古怪的音乐~
扫一扫，分享此博文
全部作者的精选博文
全部作者的其他最新博文
- • 千钧一发
- • AI 摘录：打造 IP 是什么意思？
- • 开卷有益
- • 两个生成式人工智能
- • 研究生教育：师生双选的另一个维度
- • 习惯提法或值得推敲