Basic Concepts of Synthetic Differential Geometry formatIsbn:Hardcover - 9780792339410 2002)and Logical and Computational Aspects

2002)and Logical and Computational Aspects of Model-Based Reasoning

Unterrichtsentwurf aus dem Jahr 2010 im Fachbereich Geschichte Europa - and

Abschließend wird auch hier ein Überblick über mögliche zukünftige Entwicklungen gegeben

der Anreize zu eigenen Aktivitäten bietet

Das hervorragenste

Basic Concepts of Synthetic Differential Geometry formatIsbn:Hardcover - 9780792339410 2002)and Logical and Computational AspectsStarting at an introductory level, the book leads rapidly to important and often new results in synthetic differential geometry. From rudimentary analysis the book moves to such important results as: a new proof of De Rham's theorem; the synthetic view of global action, going as far as the Weil characteristic homomorphism; the systematic account of structured Lie objects, such as Riemannian, symplectic, or Poisson Lie objects; the view of global Lie