微积分-一流百科

筹算

筹算筹算或杆算是战国至明代中国用计数杆进行算法计算的机械方法，计数杆越来越多地被更方便、更快捷的算盘所取代。数学在中国数学在宋代和元代发展到顶峰的...

词条百科

序列微积分

简介在数理逻辑中，序列微积分是一种形式逻辑论证的风格，其中证明的每一行都是一个条件同义词（GerhardGentzen称之为序列），而不是一个无条件同义词。每一...

词条百科

形势微积分

形势微积分形势微积分是一种逻辑形式主义，用于表示和推理动态领域。形势微积分的概述情境微积分将变化的情景表示为一组一阶逻辑公式。该微积分的基本元素是...

词条百科

重点证明

简介在数理逻辑中，重点证明是通过目标导向的证明搜索产生的一系列分析性证明，是结构证明理论和还原逻辑的研究课题。它们构成了目标导向证明搜索的最一般定...

词条百科

类型栖息

类型栖息在类型理论（数理逻辑的一个分支）中，在一个给定的类型微积分中，这个微积分的类型栖息问题是如下问题：给定一个类型与逻辑的关系在简单类型的λ微积...

词条百科

类型构造器

类型构造器在被称为类型理论的数理逻辑和计算机科学领域，类型构造器是类型化形式语言的一个特征，它从旧类型中建立新类型。基本类型被认为是使用空类型构造...

词条百科

简单类型的lambda微积分

简单类型的lambda微积分简单类型的lambda微积分({displaystyle/lambda{to}}，是类型理论的一种形式。)，是类型理论的一种形式，是λ微积分的类型化解释，只有...

词条百科

构造微积分

简介在数理逻辑和计算机科学中，构造微积分（CoC）是ThierryCoquand创建的一种类型理论。它既可以作为一种类型化的编程语言，也可以作为数学的构造基础。基于...

词条百科

雷格微积分

雷格微积分在广义相对论中，雷格微积分是一种形式主义，用于产生作为爱因斯坦场方程解的空间的简单近似。该微积分是由意大利理论家图利奥-雷格在1961年提出的...

词条百科

离散微积分

离散微积分离散微积分或离散函数的微积分，是对增量变化的数学研究，就像几何学是对形状的研究，代数是对算术运算的概括研究一样。微积分这个词是一个拉丁语...

词条百科

事件微积分

事件微积分事件微积分是一种用于表示和推理事件及其影响的逻辑语言，由RobertKowalski和MarekSergot于1986年首次提出。它在20世纪90年代被MurrayShanahan和Ro...

词条百科

伊科西微积分

简介伊科西微积分是爱尔兰数学家威廉-罗文-汉密尔顿于1856年发现的一种非交换代数结构。用现代的话说，他通过生成器和关系给出了伊科西旋转群的分组表述。汉...

词条百科

有限加权图上的微积分

有限加权图上的微积分在数学中，有限加权图上的微积分是一种函数的离散微积分，其域是一个具有有限数量顶点和与边相关的权重的图的顶点集。这涉及到在图上制...

词条百科

细化微积分

细化微积分细化微积分是一种用于逐步细化程序构造的正式方法。最终可执行程序的预期行为被指定为一个抽象的，也许是不可执行的程序，然后通过一系列保持正确...

词条百科