本网站由以下捐款支持：OEIS基金会.

微分命题演算•概述

来自OeisWiki
跳转到：航行,搜索

作者：乔恩·奥布里

一个微分命题演算是一个命题演算由一组术语扩展，用于描述变化和差异的各个方面，例如话语的宇宙或将源宇宙映射到目标宇宙的变换。

休闲介绍

仙人掌演算

正式开发

基本概念

命题的特殊类

线性命题

肯定命题

奇异命题

差速器扩展

附录

附录1。命题形式与微分展开

表A1。两个变量上的命题形式

表A2。两个变量上的命题形式

表A3。E类如果扩展的超差特性

表A4。D类如果扩展的超差特性

表A5。E类如果扩展到普通功能

表A6。D类如果扩展到普通功能

附录2。微分形式

表A7。微分形式在逻辑基础上的扩展

表A8。微分形式在代数基础上的展开

表A9。切线命题作为逐点线性逼近

表A10。泰勒级数展开D如果=天如果+d²如果

表A11。偏微分和相对微分

表A12：。差分图计算细节

附录3。计算详细信息

逻辑连接的运算符映射如果8(u个,v（v）)

ε的计算如果8
E的计算如果8
D的计算如果8
d的计算如果8
r的计算如果8
连接计算汇总

逻辑等式的运算符映射如果9(u个,v（v）)

ε的计算如果9
E的计算如果9
D的计算如果9
d的计算如果9
r的计算如果9
等式计算摘要

逻辑蕴涵的算子映射如果11(u个,v（v）)

ε的计算如果11
E的计算如果11
D的计算如果11
d的计算如果11
r的计算如果11
含义计算摘要

逻辑析取的算子映射如果14(u个,v（v）)

ε的计算如果14
E的计算如果14
D的计算如果14
d的计算如果14
r的计算如果14
分离计算汇总

附录4。源材料

附录5。切线向量的各种定义

工具书类

检索自“https://oeis.org/w/index.php？title=Differential_Propositional_Calculus_•_Overview&oldid=1639359"