第 7 页 - 分类数学下的文章 - 童趣PBL

初中几何常见模型
- 初中数学
- root 发布于 213 天前
- 拉手模型https://www.bilibili.com/video/BV1mE411t7Gi/?spm_id_from=333.880.my_history.page.clickhttps://www.bilib...
lean4 coq Haskell 等资源
- 信息技术数学
- root 发布于 230 天前
- https://lean4daydayup.zulipchat.com/#narrow/stream/435784-.E6.9C.89.E4.BB.B7.E5.80.BC.E7.9A.84.E5.AD.A6.E4....
强基平几1三角形
- 几何三角
- root 发布于 255 天前
- 三角形四心性质分类重心内心外心垂心面积性质① 6个子三角形面积相等： 𝑆Δ𝐴𝐺𝐹 = 𝑆Δ𝐵𝐺𝐹 = 𝑆Δ𝐵𝐺𝐷 = 𝑆Δ𝐶𝐺𝐷 = 𝑆Δ𝐶𝐺𝐸 = 𝑆Δ𝐴𝐺𝐸。④ 面积公式： 𝑟(𝑎 + 𝑏 + 𝑐) = 2𝑆Δ...
lean4game网站隐藏左边提示栏的暴力猴脚本
- 信息技术数学
- root 发布于 283 天前
- // ==UserScript==// @name New script hhu.de// @namespace Violentmonkey Scripts// @match http...
lean4 mathlib在windows下安装
- 信息技术数学
- root 发布于 296 天前
- lean4 mathlib在windows下安装https://subfish-zhou.github.io/theorem_proving_in_lean4_zh_CN/setup.htmlhttps://bl...
数学网站数学乐
- 数学
- root 发布于 312 天前
- https://www.shuxuele.com/https://www.mathsisfun.com/从同济大学出版的《高等数学》，到谢惠民的《数学分析习题讲义》，一直到Lawrence C. Evans编写的《...
思维训练
- 数学
- root 发布于 313 天前
- 举一反三的形式思维：解读和跟随指令思维（定义，步骤），对偶思维，逆向（正反，简繁）思维，模型思维，抽象思维，整体（求全）思维，具体思维（个例，分类），应用思维，假设思维，综述思维，公理思维，映射同构思维。例子和...

上一页 7/33 下一页