导读:本文包含了最小不动点论文开题报告文献综述及选题提纲参考文献，主要关键词:真理论,有根性,不动点
最小不动点论文文献综述
张亮[1]（2015）在《“有根性”与最小不动点理论之新辩护——莫得林新型真理论探析》一文中研究指出莫得林基于其对"有根性"概念的重新阐释,构造了关于真概念的新型最小不动点理论,从而把饱受批评的克里普克最小不动点理论重新置于真理论的建设性视域之中。莫得林真理论对克里普克真理论的继承与发展,源于对"有根性"之阐释的继承与发展。继承之处导致两种理论都属于关于真概念的内在不动点理论,而发展之处导致两者陈述真理论的方式之根本性差异。而通过分析莫得林的真理论可以看到,运用"可允许性"概念,他实际上是以一种外在的方式阐述其内在理论,这在一定程度上结合了内在理论和外在理论的优点。然而其理论仍然具有重要的局限性。(本文来源于《自然辩证法研究》期刊2015年09期）
谢宝永,李磊[2]（2005）在《用最小不动点理论求解最小函数依赖集》一文中研究指出最小函数依赖是数据库模式分解的基础。本文首先介绍最小函数依赖集的概念和最小不动点理论,然后分析函数依赖集的闭包与完全格的关系,提出了用最小不动点理论求解最小函数依赖集的具体求解方法。(本文来源于《现代计算机(专业版)》期刊2005年01期）
孔秀英,王玉文[3]（2003）在《集值映射最小不动点定理及其应用》一文中研究指出利用 Fan- Kakutani不动点定理 ,得到赋范线性空间中集值映射的最小不动点的存在定理 .作为应用 ,研究了半线性 n阶常微分方程的不适定两点边值问题(本文来源于《应用泛函分析学报》期刊2003年01期）
仇秋生[4]（1993）在《强保序集值映射的最大最小不动点定理及应用》一文中研究指出在文[1]中,我们讨论了不具有任何连续性的保序集值映射的不动点存在问题。本文是[1]的继续。首先我们讨论了强保序集值映射最大最小不动点存在问题;然后利用所得结果讨论了混合强单调集值映射的最大最小耦合不动点存在问题。改进和推广了[2]、[3]中的主要结论,得到了更一般性的结果。(本文来源于《南昌水专学报》期刊1993年01期）
宋炜[5]（1991）在《关于循环终止性证明的一种最小不动点方法》一文中研究指出本文分析了循环终止性的特点,给出了实WHILE语句模型,简要地叙述了最小不动点理论,并结合到实循环函数上讨论了终止性的证明。(本文来源于《南昌大学学报(工科版)》期刊1991年01期）
最小不动点论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
最小函数依赖是数据库模式分解的基础。本文首先介绍最小函数依赖集的概念和最小不动点理论,然后分析函数依赖集的闭包与完全格的关系,提出了用最小不动点理论求解最小函数依赖集的具体求解方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
最小不动点论文参考文献
[1].张亮.“有根性”与最小不动点理论之新辩护——莫得林新型真理论探析[J].自然辩证法研究.2015
[2].谢宝永,李磊.用最小不动点理论求解最小函数依赖集[J].现代计算机(专业版).2005
[3].孔秀英,王玉文.集值映射最小不动点定理及其应用[J].应用泛函分析学报.2003
[4].仇秋生.强保序集值映射的最大最小不动点定理及应用[J].南昌水专学报.1993
[5].宋炜.关于循环终止性证明的一种最小不动点方法[J].南昌大学学报(工科版).1991