导读:本文包含了同构定理论文开题报告文献综述及选题提纲参考文献，主要关键词:Coq,定理证明,布尔巴基学派,叁大母结构
同构定理论文文献综述
袁婧[1]（2019）在《近世代数观点下高等代数的形式化》一文中研究指出人工智能技术是计算机类科学非常重要的支系,与基因工程和纳米科学并列为二十一世纪叁大顶尖科技。人工智能日渐广泛的应用使得对其理论可靠度的要求也越来越高。人工智能基础理论之一是数学定理的机器证明,交互式定理证明工具Coq正是用来进行数学定理证明的强有力工具。Coq不仅可以用来验证普通数学中逻辑的精确度,还可以对程序或理论等进行严格验证。Coq除了有强大的数学模型基础,还有很好的扩展性,完整的工具集也让它的使用更加便捷。形式化正随着现代数学的发展而蓬勃发展,交互式定理证明工具Coq也随着发展的进程取得了众多突出的成就。数学定理证明的可靠性是数学基础理论严密性的体现。布尔巴基学派的叁大母结构(序、代数、拓扑)作为现代数学的基础,在数学史上有着举足轻重的地位。由于代数元素的通用性,许多领域已经将代数结构作为其研究的基本工具和语言。代数系统,也被看作是其中包含运算关系的集合,是代数研究的基本对象。近世代数是研究代数系统的学科,群、环、域是其最基本的叁种代数结构。本文在近世代数基础结构的思想指导下,对高等代数中的内容进行系统全面的归纳和提升。利用交互式定理证明工具Coq,可以构建近世代数理论的形式化系统,从而,近世代数观点下的高等代数系统也自然建立。本文从近世代数的基本理论出发,首先基于Coq建立群、环、域等基本概念,在此基础上,建立高等代数中向量空间、线性变换等概念。将近世代数的基础理论作为铺垫,对向量空间的同构定理及秩与零度定理完成形式化证明,并作详细阐述。所有形式化过程已被Coq验证,体现了Coq的高效性、可读性和严谨性。(本文来源于《北京邮电大学》期刊2019-05-19）
杨录峰[2]（2018）在《基于同构映射的中国剩余定理证明方法研究》一文中研究指出中国剩余定理在数论和代数学中起着重要的作用.给出中国剩余定理的一种同构映射的证明方法,并给出了算法实现的步骤.利用同构映射理论分析了中国剩余定理与Lagrange插值的关系,完美地体现了利用已学知识解决未知问题的数学思想.(本文来源于《高师理科学刊》期刊2018年02期）
罗纯,张应山[3]（2017）在《多边矩阵代数运算的同构定理和数据挖掘》一文中研究指出介绍了多边矩阵的基阵代数运算与剖面代数运算概念,并给出了一些多边矩阵的基阵代数运算与剖面代数运算性质,证明了多边矩阵的基阵代数运算与剖面代数运算是同构的。作为应用,研究了多边矩阵剖面代数运算和数据挖掘之间的关系。(本文来源于《应用技术学报》期刊2017年04期）
秦勇[4]（2016）在《l-群的同构定理》一文中研究指出利用l-群的同态基本定理,证明l-群的同构定理,把群的同构定理推广到l-群中.(本文来源于《湖北大学学报(自然科学版)》期刊2016年03期）
黄雅慧,辛林[5]（2015）在《Noether同构定理的推广》一文中研究指出推广了Buhler定理.设C是预Abel的正合范畴,如果A→B1b1→Cd1→W1与Aa2→B2b2→C2d2→W2以及b:B1→B2,c:C1→C2使得(cb1,b2b)构成推出,且a2=ba1,d1=Coker(b1a1),d2=Coker(b2a2),则存在容许单态射h:W1→W2,使得hd1=d2c.并进一步给出该定理的一个应用.(本文来源于《福建师范大学学报(自然科学版)》期刊2015年04期）
郝翠霞,姚炳学[6]（2015）在《(λ,μ)-商模糊子群及其同构定理》一文中研究指出在(λ,μ)-模糊子群与(λ,μ)-模糊正规子群概念的基础上,讨论了(λ,μ)-模糊商群和(λ,μ)-商模糊子群的性质,并且建立了(λ,μ)-商模糊子群的同构定理。(本文来源于《模糊系统与数学》期刊2015年01期）
寇海燕,吴洪博[7]（2016）在《正则FI代数的MP滤子与同构基本定理》一文中研究指出正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数,它是BR0-代数和BL-代数的基础逻辑代数。基于经典代数的思想和方法,讨论了正则FI-代数的MP滤子与同构基本定理。引入正则FI-代数中MP滤子的概念,并讨论了其基本性质,给出了正则FI-代数中包含任意子集的最小MP滤子的构造方法;讨论了正则FI-代数的MP滤子和同余关系之间的内在联系;给出了正则FI-代数的同构基本定理。(本文来源于《计算机工程与应用》期刊2016年10期）
刘莹莹,辛小龙[8]（2014）在《(λ,μ)模糊软环(理想)与模糊软同构定理》一文中研究指出在软集和模糊集的基础上,引入了(λ,μ)模糊软环和(λ,μ)模糊软理想的概念,研究了它们关于软集交、并运算的相关性质,探讨了它们在模糊软同态下的像。另外,还提出了(λ,μ)模糊商软环的定义,进一步建立了(λ,μ)模糊软环上的第一、第二模糊软同构定理。(本文来源于《模糊系统与数学》期刊2014年05期）
贾巧会,刘妮[9]（2014）在《模糊Quantale上的模糊同余关系及其同构定理》一文中研究指出在模糊Quantale上引入模糊同余关系的概念,证明了模糊Quantale上的模糊同余关系与模糊核映射是一一对应的,而且模糊同余关系之集模糊序同构于该模糊Quantale上的模糊核映射之集.基于模糊同余关系引入商模糊Quantale的概念,证明了任一模糊Quantale同余关系诱导的模糊Quantale商与基于该模糊同余关系的商模糊Quantale是同构的.(本文来源于《陕西师范大学学报(自然科学版)》期刊2014年02期）
程进[10]（2013）在《程进均衡定理引理门计算点计算的交并及同态同构》一文中研究指出以白令海峡为中、直布罗陀海峡、苏伊士运河、巴拿马运河为左右,国际日期变更日,太阳、月亮、日食与月食、潮汐、时间有关.2011年兴起的亚洲赔率,根据网上足彩胜平负3、1、0的比赛结果规则,两队踢成平局彩果为1.赔率、美赔、欧赔、亚赔的不同.格的定义和定理,经济角度验证证明解决问题的方法,程进均衡定理,引理门计算点计算的交并及同态同构.(本文来源于《科技视界》期刊2013年27期）
同构定理论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
中国剩余定理在数论和代数学中起着重要的作用.给出中国剩余定理的一种同构映射的证明方法,并给出了算法实现的步骤.利用同构映射理论分析了中国剩余定理与Lagrange插值的关系,完美地体现了利用已学知识解决未知问题的数学思想.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
同构定理论文参考文献
[1].袁婧.近世代数观点下高等代数的形式化[D].北京邮电大学.2019
[2].杨录峰.基于同构映射的中国剩余定理证明方法研究[J].高师理科学刊.2018
[3].罗纯,张应山.多边矩阵代数运算的同构定理和数据挖掘[J].应用技术学报.2017
[4].秦勇.l-群的同构定理[J].湖北大学学报(自然科学版).2016
[5].黄雅慧,辛林.Noether同构定理的推广[J].福建师范大学学报(自然科学版).2015
[6].郝翠霞,姚炳学.(λ,μ)-商模糊子群及其同构定理[J].模糊系统与数学.2015
[7].寇海燕,吴洪博.正则FI代数的MP滤子与同构基本定理[J].计算机工程与应用.2016
[8].刘莹莹,辛小龙.(λ,μ)模糊软环(理想)与模糊软同构定理[J].模糊系统与数学.2014
[9].贾巧会,刘妮.模糊Quantale上的模糊同余关系及其同构定理[J].陕西师范大学学报(自然科学版).2014
[10].程进.程进均衡定理引理门计算点计算的交并及同态同构[J].科技视界.2013