导读:本文包含了类型一阶逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:一阶类型逻辑,B类型简单导出,原子简单导出,可靠性
类型一阶逻辑论文文献综述
徐丹[1]（2010）在《类型一阶逻辑的理论证明探讨》一文中研究指出类型一阶逻辑在传统的一阶逻辑上,引入了类型,它是多态多类逻辑程序设计语言的理论基础,对编译系统设计与实现的进一步发展具有重要意义。论文在类型一阶逻辑的理论层面进行了探讨,引入了基本简单导出的可靠性定理和等值符号的可替换性定理,并予以证明。通过这两个定理,可以简化类型一阶逻辑理论证明中的工作量,使得将来的理论研究更加方便。(本文来源于《电脑知识与技术》期刊2010年07期）
姜涛,孙怀民[2]（1994）在《基于类型一阶理论的逻辑自动编程》一文中研究指出本文用类型一阶理论来定义逻辑程序，并通过引入Ｌａｋａｔｏｓ的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论．在此基础上，建立了一个基于假说演算的逻辑自动编程理论，并利用这一理论在Ｓｕｎ工作站上建立了一个自动设计Ｐｒｏｌｏｇ型程序的实验系统．(本文来源于《软件学报》期刊1994年11期）
类型一阶逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文用类型一阶理论来定义逻辑程序，并通过引入Ｌａｋａｔｏｓ的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论．在此基础上，建立了一个基于假说演算的逻辑自动编程理论，并利用这一理论在Ｓｕｎ工作站上建立了一个自动设计Ｐｒｏｌｏｇ型程序的实验系统．
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
类型一阶逻辑论文参考文献
[1].徐丹.类型一阶逻辑的理论证明探讨[J].电脑知识与技术.2010
[2].姜涛,孙怀民.基于类型一阶理论的逻辑自动编程[J].软件学报.1994