Publicado por Springer, Basel, Birkhäuser Basel, Birkhäuser Apr 2008, 2008
ISBN 10: 3764387270 ISBN 13: 9783764387273
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The quintessential Renaissance Man, Leonardo da Vinci was well aware of the fundamental importance of mathematics for architecture. This issue of the Nexus Network Journal examines Leonardo's knowledge of theoretical mathematics, explores how he used concepts of geometry in his designs for architectural projects, and reports on a real-life construction project using Leonardo's principles. Authors include Sylvie Duvernoy, Kim Williams, Rinus Roelofs, Biagio Di Carlo, Mark Reynolds, João Pedro Xavier, Vesna Petresin, Christopher Glass, and Jane Burry. To complete the issue Rachel Fletcher writes her Geometer's Angle column on 'Dynamic Symmetry', Michael Ostwald reviews A Theory of General Ethics by Warwick Fox, Sarah Clough Edwards reviews Inigo Jones and the Classical Tradition by Christy Anderson, and Sylvie Duvernoy reviews Architecture and Mathematics in Ancient Egypt by Corinna Rossi. 204 pp. Englisch.
Publicado por Springer, Basel, Birkhäuser Basel, Birkhäuser Apr 2008, 2008
ISBN 10: 376438641X ISBN 13: 9783764386412
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological properties of complete Riemannian manifolds. It analyzes in detail an extension of the Bochner technique to the non compact setting, yielding conditions which ensure that solutions of geometrically significant differential equations either are trivial (vanishing results) or give rise to finite dimensional vector spaces (finiteness results). The book develops a range of methods from spectral theory and qualitative properties of solutions of PDEs to comparison theorems in Riemannian geometry and potential theory.All needed tools are described in detail, often with an original approach. Some of the applications presented concern the topology at infinity of submanifolds, Lp cohomology, metric rigidity of manifolds with positive spectrum, and structure theorems for Kähler manifolds.The book is essentially self-contained and supplies in an original presentation the necessary background material not easily available in book form. 282 pp. Englisch.
Publicado por Springer, Basel, Birkhäuser Basel, Birkhäuser Apr 2008, 2008
ISBN 10: 3764385170 ISBN 13: 9783764385170
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word 'all', seemingly neutral, is here a crucial point of distinction. Assuming the de nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics. Such completeness was e ectively used by J. ukasiewicz and investigated in general terms by A. Tarski and A. Lindenbaum, which gave strong foundations for research in logic and, in particular, for the notion of consequence operation determined by a logical system. The choice of logical means, by use of which we intend to represent logical inferences, is also important. Most of the de nitions and results in completeness theory were originally developed in terms of propositional logic. Propositional formal systems nd many applications in logic and theoretical computer science. 178 pp. Englisch.
Publicado por Springer, Basel, Birkhäuser Basel, Birkhäuser Apr 2008, 2008
ISBN 10: 3764386134 ISBN 13: 9783764386139
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 58,84
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hyperbolic numbers are proposed for a rigorous geometric formalization of the space-time symmetry of two-dimensional Special Relativity. The system of hyperbolic numbers as a simple extension of the field of complex numbers is extensively studied in the book. In particular, an exhaustive solution of the 'twin paradox' is given, followed by a detailed exposition of space-time geometry and trigonometry. Finally, an appendix on general properties of commutative hypercomplex systems with four unities is presented. 256 pp. Englisch.
Publicado por Springer, Basel, Birkhäuser Basel, Birkhäuser Apr 2008, 2008
ISBN 10: 3764386371 ISBN 13: 9783764386375
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 106,99
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Silvestre François Lacroix (Paris, 1765 - ibid., 1843) was a most influential mathematical book author. His most famous work is the three-volume Traité du calcul différentiel et du calcul intégral (1797-1800; 2nd ed. 1810-1819) - an encyclopedic appraisal of 18th-century calculus which remained the standard reference on the subject through much of the 19th century, in spite of Cauchy's reform of the subject in the 1820's.Lacroix and the Calculus is the first major study of Lacroix's large Traité. It uses the unique and massive bibliography given by Lacroix to explore late 18th-century calculus, and the way it is reflected in Lacroix's account. Several particular aspects are addressed in detail, including: the foundations of differential calculus, analytic and differential geometry, conceptions of the integral, and types of solutions of differential equations (singular/complete/general integrals, geometrical interpretations, and generality ofarbitrary functions). 468 pp. Englisch.