导出代数
来自维基百科,自由的百科全书
来自维基百科,自由的百科全书
在抽象代数中,导出代数是如下标识(signature)的代数结构
这里的
xD 叫做 x 的导出(derivative)。导出代数为拓扑学中导集算子提供代数抽象。它还为模态逻辑 wK4 = K + p∧□p → □□p 扮演布尔代数对普通命题逻辑所扮演的角色。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.