springer basel springer basel nov 2014 (12 risultati)

Buch. Condizione: Neu. Neuware -Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel¿s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students inrelevant disciplines.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 316 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Earthquake rupture is a process of remarkable complexity. Over the past few decades, scientists have become aware of its high variability on all scales as well as its wide dynamic range. At the same time, a thorough understanding of the seismic source process is a key element of reliable earthquake ground motion prediction.The present book contains a comprehensive collection of contributions originating from the 2012 ECGS Workshop Earthquake Source Physics on Various Scales, held in Luxembourg. The seventeen articles in this volume cover theoretical and observational aspects of the earthquake source process, ranging from tiny, laboratory-generated M -6 events to the source complexity and radiated energy of the world¿s greatest earthquakes. Among other aspects, the papers provide new insights into the relationship of earthquake recurrence time with fault frictional parameters, how the results of lab-based friction experiments relate to observational source studies, and how geometrical source complexity can be quantified. In particular, several papers are devoted to the question whether small and large earthquakes scale self-similarly or if they show differences in their dynamic source characteristics, which is one of the most hotly debated aspects of modern seismology.The volume provides an integrated view of the current state-of-the-art knowledge on the earthquake source process on all scales and will be useful to students and professional researchers who are interested in these phenomena.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 336 pp. Englisch.

Buch. Condizione: Neu. Neuware -Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2-volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerden¿s record is complex. In attempting to understand his life, the author assembled thousands of documents from numerous archives in Germany, the Netherlands, Switzerland and the United States which revealed fascinating and often surprising new information about van der Waerden. Soifer traces Van der Waerden¿s early years in a family of great Dutch public servants, his life as professor in Leipzig during the entire Nazi period, and his personal and professional friendship with one of the great physicists Werner Heisenberg. We encounter heroes and villains and a much more numerous group in between these two extremes. One of them is the subject of this book.Soifer¿s journey through a long list of archives, combined with an intensive correspondence, had uncovered numerous details of Van der Waerden¿s German intermezzo that raised serious questions and reproaches.Dirk van Dalen (Philosophy, Utrecht University)Professor Soifer¿s book implicates the anthropologists¿ and culture historians¿ core interest in the evolution of culture and in the progress of human evolution itself on this small contested planet.James W. Fernandez (Anthropology, University of Chicago)The book is fascinating. Professor Soifer has done a great service to the discipline of history, as well as deepening our understanding of the 20th century.Peter D. Johnson, Jr. (Mathematics, Auburn University)This book is an important contribution to the history of the twentieth century, and reads like a novel with an ever-fascinating cast of characters.Harold W. Kuhn (Mathematics, Princeton University)This is a most impressive and important book. It is written in an engaging, very personal style and challenges the reader¿s ability of moral and historical judgment. While it is not always written in the style of ¿objective¿ professional historiography, it satisfies very high standards of scholarly documentation. Indeed the book contains a wealth of source material that allows the reader to form a highly detailed picture of the events and personalities discussed in the book. As an exemplar of historical writing in a broader sense it can compete with any other historical book.Moritz Epple (History of Mathematics, Frankfurt University)Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Periodic differential operators have a rich mathematical theory as well as important physical applications. They have been the subject of intensive development for over a century and remain a fertile research area. This book lays out the theoretical foundations and then moves on to give a coherent account of more recent results, relating in particular to the eigenvalue and spectral theory of the Hill and Dirac equations. The book will be valuable to advanced students and academics both for general reference and as an introduction to active research topics. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Earthquake rupture is a process of remarkable complexity. Over the past few decades, scientists have become aware of its high variability on all scales as well as its wide dynamic range. At the same time, a thorough understanding of the seismic source process is a key element of reliable earthquake ground motion prediction.The present book contains a comprehensive collection of contributions originating from the 2012 ECGS Workshop Earthquake Source Physics on Various Scales, held in Luxembourg. The seventeen articles in this volume cover theoretical and observational aspects of the earthquake source process, ranging from tiny, laboratory-generated M -6 events to the source complexity and radiated energy of the world's greatest earthquakes. Among other aspects, the papers provide new insights into the relationship of earthquake recurrence time with fault frictional parameters, how the results of lab-based friction experiments relate to observational source studies, and how geometrical source complexity can be quantified. In particular, several papers are devoted to the question whether small and large earthquakes scale self-similarly or if they show differences in their dynamic source characteristics, which is one of the most hotly debated aspects of modern seismology.The volume provides an integrated view of the current state-of-the-art knowledge on the earthquake source process on all scales and will be useful to students and professional researchers who are interested in these phenomena. 336 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Periodic differential operators have a rich mathematical theory as well as important physical applications. They have been the subject of intensive development for over a century and remain a fertile research area. This book lays out the theoretical foundations and then moves on to give a coherent account of more recent results, relating in particular to the eigenvalue and spectral theory of the Hill and Dirac equations. The book will be valuable to advanced students and academics both for general reference and as an introduction to active research topics.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book we suggest a unified method of constructing near-minimizers for certain important functionals arising in approximation, harmonic analysis and ill-posed problems and most widely used in interpolation theory. The constructions are based on far-reaching refinements of the classical Calderón-Zygmund decomposition. These new Calderón-Zygmund decompositions in turn are produced with the help of new covering theorems that combine many remarkable features of classical results established by Besicovitch, Whitney and Wiener. In many cases the minimizers constructed in the book are stable (i.e., remain near-minimizers) under the action of Calderón-Zygmund singular integral operators.The book is divided into two parts. While the new method is presented in great detail in the second part, the first is mainly devoted to the prerequisites needed for a self-contained presentation of the main topic. There we discuss the classical covering results mentioned above, various spectacular applications of the classical Calderón-Zygmund decompositions, and the relationship of all this to real interpolation. It also serves as a quick introduction to such important topics as spaces of smooth functions or singular integrals. 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a collection of papers devoted to the 70th birthday of Professor Vladimir Rabinovich. The opening article (by Stefan Samko) includes a short biography of Vladimir Rabinovich, along with some personal recollections and bibliography of his work. It is followed by twenty research and survey papers in various branches of analysis (pseudodifferential operators and partial differential equations, Toeplitz, Hankel, and convolution type operators, variable Lebesgue spaces, etc.) close to Professor Rabinovich's research interests. Many of them are written by participants of the International workshop 'Analysis, Operator Theory, and Mathematical Physics' (Ixtapa, Mexico, January 23-27, 2012) having a long history of scientific collaboration with Vladimir Rabinovich, and are partially based on the talks presented there.The volume will be of great interest to researchers and graduate students in differential equations, operator theory, functional and harmonic analysis, and mathematical physics. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In this book we suggest a unified method of constructing near-minimizers for certain important functionals arising in approximation, harmonic analysis and ill-posed problems and most widely used in interpolation theory. The constructions are based on far-reaching refinements of the classical Calderón¿Zygmund decomposition. These new Calderón¿Zygmund decompositions in turn are produced with the help of new covering theorems that combine many remarkable features of classical results established by Besicovitch, Whitney and Wiener. In many cases the minimizers constructed in the book are stable (i.e., remain near-minimizers) under the action of Calderón¿Zygmund singular integral operators.The book is divided into two parts. While the new method is presented in great detail in the second part, the first is mainly devoted to the prerequisites needed for a self-contained presentation of the main topic. There we discuss the classical covering results mentioned above, various spectacular applications of the classical Calderón¿Zygmund decompositions, and the relationship of all this to real interpolation. It also serves as a quick introduction to such important topics as spaces of smooth functions or singular integrals.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 332 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is a collection of papers devoted to the 70th birthday of Professor Vladimir Rabinovich. The opening article (by Stefan Samko) includes a short biography of Vladimir Rabinovich, along with some personal recollections and bibliography of his work. It is followed by twenty research and survey papers in various branches of analysis (pseudodifferential operators and partial differential equations, Toeplitz, Hankel, and convolution type operators, variable Lebesgue spaces, etc.) close to Professor Rabinovich's research interests. Many of them are written by participants of the International workshop ¿Analysis, Operator Theory, and Mathematical Physics¿ (Ixtapa, Mexico, January 23¿27, 2012) having a long history of scientific collaboration with Vladimir Rabinovich, and are partially based on the talks presented there.The volume will be of great interest to researchers and graduate students in differential equations, operator theory, functional and harmonic analysis, and mathematical physics.¿Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 436 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2-volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerden's record is complex. In attempting to understand his life, the author assembled thousands of documents from numerous archives in Germany, the Netherlands, Switzerland and the United States which revealed fascinating and often surprising new information about van der Waerden. Soifer traces Van der Waerden's early years in a family of great Dutch public servants, his life as professor in Leipzig during the entire Nazi period, and his personal and professional friendship with one of the great physicists Werner Heisenberg. We encounter heroes and villains and a much more numerous group in between these two extremes. One of them is the subject of this book.Soifer's journey through a long list of archives, combined with an intensive correspondence, had uncovered numerous details of Van der Waerden's German intermezzo that raised serious questions and reproaches.Dirk van Dalen ( Philosophy, Utrecht University)Professor Soifer's book implicates the anthropologists' and culture historians' core interest in the evolution of culture and in the progress of human evolution itself on this small contested planet.James W. Fernandez ( Anthropology, University of Chicago)The book is fascinating. Professor Soifer has done a great service to the discipline of history, as well as deepening our understanding of the 20 th century.Peter D. Johnson, Jr. ( Mathematics, Auburn University)This book is an important contribution to the history of the twentieth century, and reads like a novel with an ever-fascinating cast of characters.Harold W. Kuhn ( Mathematics, Princeton University)This is a most impressive and important book. It is written in an engaging, very personal style and challenges the reader's ability of moral and historical judgment. While it is not always written in the style of 'objective' professional historiography, it satisfies very high standards of scholarly documentation. Indeed the book contains a wealth of source material that allows the reader to form a highly detailed picture of the events and personalities discussed in the book. As an exemplar of historical writing in a broader sense it can compete with any other historical book.Moritz Epple ( History of Mathematics, Frankfurt University) 504 pp. Englisch.