【摘 要】
：
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻
论文部分内容阅读
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理。这种公理化的推理方式,提高了指称语义学用于程序自动验证的能力。同时,把不同形式的程序语义学,在一阶时态逻辑之下统一地进行处理也是一种新的尝试。
其他文献
用IX因子基因内探针F9(VⅢ)对TaqI,BamHI和EcoRI酶切的50例中国人基因组DNA进行杂交分析。结果表明,所有个体经TaqI酶切的杂交片段为4.5kb和1.8kb,BamHI和EcoRI酶切的杂交片
<正> 文学批评主要是对文学作品的评价。“在什么条件下这种评价才有可能?或者更确切点说,它应该建立在什么法则上面?”学习马克思和恩格斯1859年先后给斐迪南·拉萨尔关
本文讨论了布尔函数输入变元存在故障时的特性。每一故障将函数的Walsh谱分成两半,取其中一半进行降级逆变换,可得到反映故障测试全部信患的输出差向量。
<正>跨栏是田径运动中技术特点、动作结构较复杂的项目之一。要想通过较少的教学时数,使学生能较准确地掌握跨栏的基本技术,基本技能,这就要求教师采取有效的教学方法来提高
七十年代初期,由于体细胞遗传学的发展,开创了人体基因定位研究的新局面.八十年代初,与重组DNA技术结合,人类和医学遗传的研究进入了一个新阶段.为赶超世界先进水平,我校遗传
本文给出了C.K.Fong关于(WN)类算子猜测的部分解答。其次,证明了若T是具有实谱的(WN)类算子,则T必是控制算子。
<正> 江西省委和省人民政府多次强调指出:各行各业支援老区建设,一定要动真感情,做实事,要有一个看得见的变化。一年多来,我们学习贯彻省委、省政府有关支援老区建设的指示精
<正>标题,是作者给文章的命名。 读者接触一篇文章,首先注目的就是标题。标题的好坏,关系着读者的阅读兴趣和宣传效果。革命导师列宁对于标题的作用是极为重视的,在标题的拟
故事以学生不想做值日而逃跑的一件小事来说明在学习了《正面管教》这本书后,运用了和善而坚定的理论,改变了以往对学生简单粗暴的做法,让学生有所改变的事。
<正>客观世界的各种事物,都要有一个名称。事物的形态和属性不同,如果没有确定的名称,人们表达时,势必纠缠含糊,混乱不清。