"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Using the fixed point principle and the theory of differential inequality, we prove the existence of the solution and an uniformly valid asymptotic expansions of the solution is given as well.
利用不动点原理及微分不等式理论，我们证明了边值问题解的存在性，并给出了解的一致有效渐近展开式。
应用推荐