domai理论及rough集理论若干相关问题研究.pdfVIP

摘 要 Domain理论及Rough集理论若干相关问题研究 基础数学专业 研究生雷银彬 指导教师刘应明院士罗懋康教授 随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到 人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领域．产生 两个重要交叉领域．它们独立发展，但从共同的数学基础来看，二者均基于数 学中三大基本结构之一的序结构理论，同时与拓扑，代数、范畴、逻辑等学科 有着密切的联系． 它们的提出都有较强的计算机背景，但同时也是数学发展的需要．其中， Domain理论建立的初衷是为高级程序设计语言的指称语义学提供数学基础， 序和拓扑的相互结合、相互作用是其基本特征，正因如此，Domain理论成为计 算机科学家和数学家共同关心的领域．事实上，除了在计算机科学方面作为形 式语义学的数学基础或数学框架。赋予或解释语句语义，以及应用于人工智能 (AI)中知识表示及推理(KRR)、数据分析等方面之外，在若干数学分支如动力 境便从序与拓扑交融的角度为某些拓扑空间提供了一种计算模型．另一方面， 力的数学工具，但其理论基础，依然建立在数学中的经典分支如集