练习

按模块整理的练习。展开答案前先自己算,然后标记会了还是再练,进度只存在这台浏览器里。

Mathlib · 数学与形式化

从数学含义到类型、假设和证明，练习准确理解一个概念。

暂无题组。

下标、求和、矩阵运算的读法与手算。

一阶展开、方向导数、下降方向,以及它们在 Mathlib 里的名字。

Part Design 建模流程、Sketch 约束、STEP 导入与 Transform,给画机器人零件用。

从 ESP32-S3 的引脚、电路和代码出发，练习预测信号与定位故障。

暂无题组。

以 STS3215 为主线，按知识路线先讲清力与转矩、电流与信号、编码器，再推导传动与反馈。

暂无题组。