相关推荐：

• 形式语义学-Lambda演算
• lambda演算 和图灵机
• 第五讲 规划问题的matlab计算
• 第九章 概率统计计算Mathematica