摘要：
在这一部分我们的目标是求出凸函数的最小值。一般来说，只要我们能解出方程\(\nabla f(x)=0\)我们就能求出最小值点。然而很多时候这一方程的封闭解是不存在的，这要求我们用其它的手段来求最小值。 梯度下降(Gradient Descent) 在线性规划的单纯形法中我们注意到每次移动到一个更优值 阅读全文
摘要：
一段程序在形式上只是一个符号串，程序的语义是人对程序意义的理解。现在我们希望严格化地定义这种理解。 指称语义 下面要讨论的这种方式称为“指称语义”。它是定义程序语义的非常直接方式。指称语义基于抽象语法树，通过归纳定义出表达式的语义和程序语句的语义，描述程序运行的整体效果。 表达式的指称语义 首先定义 阅读全文