Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Derivative_algebra_(abstract_algebra)> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Derivative_algebra_(abstract_algebra) abstract "In abstract algebra, a derivative algebra is an algebraic structure of the signature <A, ·, +, ', 0, 1, D> where <A, ·, +, ', 0, 1> is a Boolean algebra and D is a unary operator, the derivative operator, satisfying the identities: 0D = 0 xDD ≤ x + xD (x + y)D = xD + yD. xD is called the derivative of x. Derivative algebras provide an algebraic abstraction of the derived set operator in topology. They also play the same role for the modal logic wK4 = K + p∧□p → □□p that Boolean algebras play for ordinary propositional logic.".
- Derivative_algebra_(abstract_algebra) wikiPageID "1022286".
- Derivative_algebra_(abstract_algebra) wikiPageRevisionID "543854064".
- Derivative_algebra_(abstract_algebra) hasPhotoCollection Derivative_algebra_(abstract_algebra).
- Derivative_algebra_(abstract_algebra) subject Category:Algebras.
- Derivative_algebra_(abstract_algebra) subject Category:Boolean_algebra.
- Derivative_algebra_(abstract_algebra) subject Category:Topology.
- Derivative_algebra_(abstract_algebra) type Abstraction100002137.
- Derivative_algebra_(abstract_algebra) type Algebra106012726.
- Derivative_algebra_(abstract_algebra) type Algebras.
- Derivative_algebra_(abstract_algebra) type Cognition100023271.
- Derivative_algebra_(abstract_algebra) type Content105809192.
- Derivative_algebra_(abstract_algebra) type Discipline105996646.
- Derivative_algebra_(abstract_algebra) type KnowledgeDomain105999266.
- Derivative_algebra_(abstract_algebra) type Mathematics106000644.
- Derivative_algebra_(abstract_algebra) type PsychologicalFeature100023100.
- Derivative_algebra_(abstract_algebra) type PureMathematics106003682.
- Derivative_algebra_(abstract_algebra) type Science105999797.
- Derivative_algebra_(abstract_algebra) comment "In abstract algebra, a derivative algebra is an algebraic structure of the signature <A, ·, +, ', 0, 1, D> where <A, ·, +, ', 0, 1> is a Boolean algebra and D is a unary operator, the derivative operator, satisfying the identities: 0D = 0 xDD ≤ x + xD (x + y)D = xD + yD. xD is called the derivative of x. Derivative algebras provide an algebraic abstraction of the derived set operator in topology.".
- Derivative_algebra_(abstract_algebra) label "Derivative algebra (abstract algebra)".
- Derivative_algebra_(abstract_algebra) label "导出代数".
- Derivative_algebra_(abstract_algebra) sameAs m.03_22z.
- Derivative_algebra_(abstract_algebra) sameAs Q5262620.
- Derivative_algebra_(abstract_algebra) sameAs Q5262620.
- Derivative_algebra_(abstract_algebra) sameAs Derivative_algebra_(abstract_algebra).
- Derivative_algebra_(abstract_algebra) wasDerivedFrom Derivative_algebra_(abstract_algebra)?oldid=543854064.
- Derivative_algebra_(abstract_algebra) isPrimaryTopicOf Derivative_algebra_(abstract_algebra).