宁夏大学学报（自然科学版）
寧夏大學學報（自然科學版）
저하대학학보（자연과학판）
2007年
3期
237-240
,共4页
丁志义%吴庆涛%宋国新%邵志清
丁誌義%吳慶濤%宋國新%邵誌清
정지의%오경도%송국신%소지청
指称语义%不动点%完全偏序%连续函数
指稱語義%不動點%完全偏序%連續函數
지칭어의%불동점%완전편서%련속함수
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.
連續函數的不動點是指稱語義的一箇重要內容,它刻畫瞭程序的計算性質.本文對完全偏序、連續函數和不動點等概唸及其意義作齣直觀的解釋,介紹瞭最小不動點的構造和逼近求解方法.
련속함수적불동점시지칭어의적일개중요내용,타각화료정서적계산성질.본문대완전편서、련속함수화불동점등개념급기의의작출직관적해석,개소료최소불동점적구조화핍근구해방법.
