【摘 要】
：
模型论是数理逻辑的主要分只学科之一,是研究形式语言及其解释(模型)之间关系的理论.数理逻辑中以一阶逻辑发展最为成熟.所以模型论也是以一阶模型论的内容最为丰富,应用也最
论文部分内容阅读
模型论是数理逻辑的主要分只学科之一,是研究形式语言及其解释(模型)之间关系的理论.数理逻辑中以一阶逻辑发展最为成熟.所以模型论也是以一阶模型论的内容最为丰富,应用也最多.模型论的成果不但是作为数学性的结论起作用,而且是作为逻辑性的结论而起推理工具的作用,确定它在经典数学中有着独特的应用,它为数学论证提供了超出一般常规的新方法,可以用来证明不少难以用常规方法证明的定理.此外,模型论在计算机科学中的应用也越来越广泛.比如,它在计算复杂性,人工智能,形式语义化方法等领域都得到了很好的应用.
其他文献
该文首先介绍了软件可靠性的基本原理和相关技术以及软件可靠性工程的研究内容,结合香港亚洲电视台广告自动播出系统(CBAS:Commerce Broadcast Automation System)设计与开发
分布式对象系统是由一组相互操作的对象所组成,是开发分布式计算机网络应用系统的一种有效手段.CORBA标准定义了一种对象间互操作的机制,但到目前为止尚未考虑防火墙对CORBA
该文以工作流技术实现办公自动化中最具代表性的两种应用:单审批流程和多审批流程为例,重点实现最为一个WfMS(工作流管理系统)提供的三种功能,①建造功能;②运行期控制功能;
该文着重讨论了WindowsNT系统下的网络体系结构的分析,在此基础上开发出适用于 上述网络的通信适本器的软件和硬件系统,包括了在一对电话线上全双工基带数据传输方法的设计、
该文从理论和实践两个方面,对当前保护内部网安全方面存在的问题,进行了较深入的研究和探索.对如何在现有的、已大量投入使用的计算机网络技术之上实现多组安全环境给出一种
随着计算机科学技术的蓬勃发展,计算机软件的应用覆盖面越来越广。越来越多的学者着手于软件测试的理论研究,并取得到了飞速的进展。在此基础上,软件缺陷模型的研究取得了重
该文将仿真计算与可视化分离,重点研究了分布式仿真可视化的描述和实现.该文分析了三维图形的可视化要素,提出了仿真可视化的接口规范,选择了虚拟现实建模语言(VRML)作为可视
在Internet日益发展与壮大的过程中，IPv4网络协议起到了不可低估的作用。但是，随着更多的网络终端连入Internet的时候，IP网络地址明显的出现了“匮乏危机”，同时日益增大的路由表
该论文分为以下的本个部分.第一部分介绍了该次设计的学信背景和课题的研究目标;第二部分介绍了超文本应用和复用技术的发展情况,并提出了研究人员设计的基本思想;第三部分提