导论 方程 系统mit