中文摘要：

计算机语言的形式语义是计算机科学理论的重要研究领域，其研究成果对程序设计、软件形式化、编译技术、分布式系统等分支领域有重大的实际意义。本项目主要关注了形式语义学中的基础理论，具体地研究了指称语义的稳定论域理论，包括论域的图以及逻辑表示、稳定函数全性和极大性；公理语义的非Hoare逻辑系统中Dijkstra最弱前置谓词的稳定语义，在此基础上讨论了不确定程序所确定的谓词转换器的相容性和连续性，引入了弱随机卫式语言，该语言所确定了的程序是相容的。本项目研究了模型关系与模糊隶属关系间的关系。以及模糊命题逻辑系统，研究成果有助于不确定程序，尤其是并行计算的语义模型的研究。

结论摘要：

计算机语言的形式语义是计算机科学理论的重要研究领域，其研究成果对程序设计、软件形式化、编译技术、分布式系统等分支领域有重大的实际意义。本项目主要关注了形式语义学中的基础理论，包括论域的图以及逻辑表示、稳定函数的全性和极大性；公理语义的非Hoare逻辑系统中Dijkatea最弱前置谓词的稳定语义，在此基础上讲座了不确定程序所确定的谓词转换器的相容性和连续性，引入了弱随机卫式语言，该语言所确定的程序是相容的。本项目研究了模型关系与模糊隶关系间的关系，以及模糊命题逻辑系统，研究成果有添置于不确定程序，尤其是并行计算的语义模型的研究。