公共基础

从可检查行为出发设计测试，并用证据定位故障。

从输入、状态变化和输出理解程序，用不变量检查实现。

串联编译、链接、指令、缓存和虚拟内存。

用条件概率和统计量描述不确定性，理解简单梯度更新。

用数据库约束和事务表达数据规则，理解隔离与并发更新。

建立训练、验证、测试和基线意识，为具身学习做准备。

建立算法证明和系统建模共用的离散数学语言。

沿程序执行、并发、网络和数据理解应用如何运行。

区分并发、并行和异步，理解共享状态及原子性。

理解工作目录、退出码、提交和差异，记录能够复现的操作。

区分登录和授权，理解用户数据、会话与浏览器安全边界。

为算法证明、机器人建模和学习实验建立共同语言。

串联域名解析、连接、TLS、请求响应及缓存语义。

理解线性组合、矩阵乘法及机器人中的坐标约定。

为嵌入式与机器人建立对象生命周期和资源管理基础。

掌握算法和实验常用的 Python 语义，辨别引用、修改与复制。