导读:本文包含了归结域论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:常量,代数,广义,蕴涵,命题,逻辑,文字。
归结域论文文献综述
刘熠,贾海瑞,秦晓燕,徐扬[1](2013)在《基于格值逻辑系统LP(X)的α-归结域的代数结构》一文中研究指出首先得到了与g不可α-归结的广义文字的集合D*α(g)做成了∨-半群且也是一个序滤子;其次研究了由D*α(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。(本文来源于《山东大学学报(工学版)》期刊2013年03期)
王伟,姜保庆,徐扬[2](2005)在《格值命题逻辑系统LP(X)中广义文字的α-归结域》一文中研究指出格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变元和一些广义文字的性质,并得到了它们的α-归结域.(本文来源于《西南交通大学学报》期刊2005年04期)
归结域论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值域是格蕴涵代数.讨论了LP(X)的常量、命题变元和一些广义文字的性质,并得到了它们的α-归结域.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
归结域论文参考文献
[1].刘熠,贾海瑞,秦晓燕,徐扬.基于格值逻辑系统LP(X)的α-归结域的代数结构[J].山东大学学报(工学版).2013
[2].王伟,姜保庆,徐扬.格值命题逻辑系统LP(X)中广义文字的α-归结域[J].西南交通大学学报.2005