Springer berlin birkhäuser (447 risultati)
Editore: Basel - Boston - Berlin / Berlin - Heidelberg - New York - Tokyo, Birkhäuser Verlag - Springer-Verlag 1990., 1990
Da: Versandantiquariat Peter Kardos, Zürich, SvizzeraVersandantiquariat Peter Kardos
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 10,00
EUR 14,50 spedizioneSpedito da Svizzera a U.S.A.Quantità: 1 disponibili
Deutsche Erstausgabe. Gr.8°. 1 Blatt, 454 Seiten, 1 Blatt, mit zahlreichen z.T. blattgrossen Abbildungen im Text auf Kunstdruckpapier (davon ein Frontispiz: Ein mit dem "Very Large Array" in Soccoro (New Mexico) aufgenommenes Radiobild der elliptischen Riesengalaxie Messier 87). Illustrierter Original-Pappband (Umschlagmotiv: Ei…ne von der Seite gesehene Spiralgalaxie, der Sombreronebel (M 104/ NGC 4594). Gutes, sauberes Exemplar. Beiliegend: 4 Zeitungsausschnitte zu diesem Buch, Ephemera.
Lingua: Tedesco
Editore: Birkhäuser - Berlin ; Heidelberg : Springer, Basel ; Boston, 1990
- Brossura
Da: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, GermaniaGebrauchtbücherlogistik H.J. Lauterbach
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 13,38
EUR 25,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: Gut. 28x21cm; XVI, 470 S. Broschiert. 617 Ill. u. graph. Darst. Zustand: Gut bis Sehr Gut min. gebräunt (Innen); Einband (Außen) hat geringe Gebrauchsspuren; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchm…aschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.
Lingua: Tedesco
Editore: Basel ; Boston ; Berlin ; Heidelberg ; Springer-Birkhäuser Verlag, 1990
- Brossura
Da: Elops e.V. Offene Hände, Bad Windsheim, GermaniaElops e.V. Offene Hände
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 12,00
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover/Pappeinband; 28 cm. 470 Seiten; 617 Abbildungen und 47 Tafeln Vorsatz leicht fleckig; untere Kante bestoßen Sprache: Deutsch Gewicht in Gramm: 1625.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|CITIC Press|Birkhäuser, 2023
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 43,15
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: New. This volume, originally published in China and translated into four other languages, presents a fascinating and unique account of the history of mathematics, divided into eight chronologically organized chapters. Tracing the development of mathematics acros.
Lingua: Inglese
Editore: Springer, Berlin|Springer Nature Switzerland|Birkhäuser, 2024
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,51
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2022
Serie: Birkhäuser Advanced Texts Basler Lehrbücher, Libro 22 di 23. Libro 22 di 23 - Birkhäuser Advanced Texts Basler Lehrbücher
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,51
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
A New Lotka-Volterra Model of Competition With Strategic Aggression
Affili, Elisa|Dipierro, Serena|Rossi, Luca|Valdinoci, Enrico
Lingua: Inglese
Editore: Springer, Berlin|Springer Nature Switzerland|Birkhäuser, 2024
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,76
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2023
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,76
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2024
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,59
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,34
EUR 61,39 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In studying mathematics, one can encounter surprises, whether in results that seem astonishing or in proofs that lead down unexpected paths. Over his career, the author came across many such gems. This book includes his favorites and invites reade…rs to experience the same sense of wonder they inspired in him.Here are results about number theory, Euclidean geometry, trigonometry, algebra, and infinite series, with stories from the history of mathematics added to the mix. There are theorems from such masters as Euler, Newton, and Ramanujan, while some lesser known mathematicians get their moments in the spotlight. Although the author does not avoid technical details, his narrative style makes the book accessible to anyone with an interest in mathematics.'[This book] is irresistibly fun. It has everything you'd expect from Dunham: delightful math and charming stories, all delivered with his trademark clarity, wit, and enthusiasm.'- Steven Strogatz, Cornell University, and author of Infinite Powers'This is a great read, tremendously entertaining (and informative). Dunham is truly the master of us all with regards to writing about fascinating mathematics.'- Clifford Taubes, Harvard University'As always, Dunham's unique gift for mathematical storytelling shines through. [His] enthusiasm for mathematics jumps off the page and sweeps his reader along on a joyous intellectual ride.' - Linda McGuire, Muhlenberg College'As the book's title promises, unexpected results abound. I encourage you to let Dunham be your guide to some of the wonders of mathematics - you are in for an intellectual treat.- Howard Stone, Princeton University.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2017
Serie: Compact Textbooks in Mathematics, Libro 9 di 32. Libro 9 di 32 - Compact Textbooks in Mathematics
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,95
EUR 61,64 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS). The book traces the history of these problems, stating them in modern terminology. By focusing on… constructions and the use of IGS the reader is confronted with the same problems that ancient mathematicians once faced. The reader can step into the footsteps of Euclid, Viète and Cusanus amongst others and then by experimenting and discovering geometric relationships far exceed their accomplishments. Exploring these problems with the neusis-method lets him discover a class of interesting curves.By experimenting he will gain a deeper understanding of how mathematics is created. More than 100 exercises guide him through methods which were developed to try and solve the problems. The exercises are at the level of undergraduate students and only require knowledge of elementary Euclidean geometry and pre-calculus algebra. It is especially well-suited for those students who are thinking of becoming a mathematics teacher and for mathematics teachers.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2023
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,95
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. This second edition textbook offers a practical introduction to probability for undergraduates at all levels with different backgrounds and views towards applications. Calculus is a prerequisite for understanding the basic concepts, however the book is w.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2022
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,95
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: New. This research monograph develops the theory of relative nonhomogeneous Koszul duality. The thematic example, meaning the classical duality between the ring of differential operators and the de Rham DG algebra of differential forms, involves some of the most.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2022
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,49
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. Mathematics research opportunities for undergraduate students have grown significantly in recent years, but accessible research topics for first- and second-year students with minimal experience beyond high school mathematics are still hard to find. To addr.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,68
EUR 60,96 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an account of a number of aspects of operator theory, mainlydeveloped since the 1980s, whose problems have their roots in quantum theory. The research presentedis in non-commutative operator approximation theory or, to use Halmos'…terminology, in operator approximants.Focusing on the concept of approximants, this self-contained book is suitable for graduate courses.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2017
Serie: Trends in Mathematics, Libro 48 di 89. Libro 48 di 89 - Trends in Mathematics
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,68
EUR 61,13 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-part volume gathers extended conference abstracts corresponding to selected talks from the 'Biostatnet workshop on Biomedical (Big) Data' and from the 'DoReMi LD-RadStats: Workshop for statisticians interested in contributing to EU low do…se radiation research', which were held at the Centre de Recerca Matemàtica (CRM) in Barcelona from November 26th to 27th, 2015, and at the Institut de Salut Global ISGlobal (former CREAL) from October 26th to 28th, 2015, respectively. Most of the contributions are brief articles, presenting preliminary new results not yet published in regular research journals.The first part is devoted to the challenges of analyzing so called 'Biomedical Big Data', tremendous amounts of biomedical and health data that are generated every day due to the use of recent technological advances such as massive genomic sequencing, electronic health records or high-resolution medical imaging, among others. The analysis of this information poses significantchallenges for researchers in the fields of biostatistics, bioinformatics, and signal processing. Furthermore, other relevant challenges in biostatistical research, not necessarily involving big data, are also discussed. In turn, the second part is dedicated to low dose radiation research, where there is a need to fully understand and characterize potential sources of uncertainty before they can be reduced. Further, the book demonstrates why formal uncertainty analysis has the potential to provide a common platform for multidisciplinary research in this field. This book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer Spektrum|Birkhäuser, 2022
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,33
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,39
EUR 61,46 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an account of a number of aspects of operator theory, mainlydeveloped since the 1980s, whose problems have their roots in quantum theory. The research presentedis in non-commutative operator approximation theory or, to use Halmos'termino…logy, in operator approximants.Focusing on the concept of approximants, this self-contained book is suitable for graduate courses.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,39
EUR 61,54 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is intended as a text for a first course in stochastic processes at the upper undergraduate or graduate levels, assuming only that the reader has had a serious calculus course-advanced calculus would even be better-as well as a first cou…rse in probability (without measure theory). In guiding the student from the simplest classical models to some of the spatial models, currently the object of considerable research, the text is aimed at a broad audience of students in biology, engineering, mathematics, and physics. The first two chapters deal with discrete Markov chains-recurrence and tran sience, random walks, birth and death chains, ruin problem and branching pro cesses-and their stationary distributions. These classical topics are treated with a modem twist: in particular, the coupling technique is introduced in the first chap ter and is used throughout. The third chapter deals with continuous time Markov chains-Poisson process, queues, birth and death chains, stationary distributions. The second half of the book treats spatial processes. This is the main difference between this work and the many others on stochastic processes. Spatial stochas tic processes are (rightly) known as being difficult to analyze. The few existing books on the subject are technically challenging and intended for a mathemat ically sophisticated reader. We picked several interesting models-percolation, cellular automata, branching random walks, contact process on a tree-and con centrated on those properties that can be analyzed using elementary methods.
Lingua: Francese
Editore: Birkhäuser Berlin, Birkhäuser, Springer, Basel, 2006
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 12,71
EUR 60,89 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen, Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - La construction en maçonnerie constitue généralement le premier des exercices de construction pendant les études. Les principes de base de mesure, de construction e…t d assemblage des composants sont développés sur des constructions en maçonnerie simple.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,39
EUR 61,91 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building o…n this, in the second and third part of the book the authors present detailed proofs of Gödel's classical completeness and incompleteness theorems. In particular, the book includes a full proof of Gödel's second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms. The final part is dedicated to an introduction into modern axiomatic set theory based on the Zermelo's axioms, containing a presentation of Gödel's constructible universe of sets. A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers.The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory. Each chapter concludes with a list of exercises.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2019
Serie: Modeling and Simulation in Science, Engineering and Technology, Libro 49 di 55. Libro 49 di 55 - Modeling and Simulation in Science, Engineering and Technology
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,56
EUR 62,91 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume compiles eight recent surveys that present state-of-the-art results in the field of active matter at different scales, modeled by agent-based, kinetic, and hydrodynamic descriptions. Following the previously published volume, these chapters w…ere written by leading experts in the field and accurately reflect the diversity of subject matter in theory and applications. Several mathematical tools are employed throughout the volume, including analysis of nonlinear PDEs, network theory, mean field approximations, control theory, and flocking analysis. The book also covers a wide range of applications, including:Biological network formationSocial systemsControl theory of sparse systemsDynamics of swarming and flocking systemsStochastic particles and mean field approximationsMathematicians and other members of the scientific community interested in active matter and its many applications will find this volume to be a timely, authoritative, and valuable resource.
Lingua: Inglese
Editore: Springer, Berlin, Springer Basel, Birkhäuser, 2015
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,56
EUR 64,31 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first volume of a collection of essays focusing on progress in tsunami science since the great tsunami of 26 December. A magnitude Mw 9.1 earthquake (third strongest ever instrumentally recorded) generated a global tsunami that killed…about 230,000 people along the coasts of 14 countries in the Indian Ocean and propagated as far as the North Pacific and North Atlantic.Since then, various countries from around the globe contributed major funding to tsunami research and mitigation, enabling the installation of hundreds of new high-precision instruments, the development of new technology and the establishment of more modern communication systems. As a result, incredible progress has been achieved in tsunami research and operation during the ten years after the 2004 Indian Ocean tsunami.The papers presented in this first of two special volumes of Pure and Applied Geophysics reflect the state of tsunami science during this time. Eight papers are related to casestudies highlighting regional hazards around the globe, while five papers record progress in tsunami warning systems. Benchmark studies that describe the accuracy of numerical models for tsunami impact, as well as a variety of inundation and generation studies, are presented by 7 additional papers.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2017
Serie: Compact Textbooks in Mathematics, Libro 10 di 32. Libro 10 di 32 - Compact Textbooks in Mathematics
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,28
EUR 60,98 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book gives a thorough and entirely self-contained, in-depth introduction to a specificapproach to group theory, in a large sense of that word. Thefocus lieon the relationships which a group may have with other groups,via 'universal properties…', a view on that group 'from the outside'.This method of categorical algebra, is actually not limited to the study of groupsalone, but applies equally well to other similar categories of algebraic objects.By introducingprotomodular categories and Mal'tsev categories, which form a larger class, thestructural properties of the category Gp of groups, showhow they emerge from four very basic observations about the algebraic litteral calculus andhow, studied for themselves at the conceptual categorical level, they lead to the main striking features of the category Gp of groups.Hardly any previous knowledge of category theory is assumed, and just a littleexperience with standard algebraic structures such as groups and monoids. Examples and exercises help understanding the basicdefinitions and results throughout the text.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2017
Serie: Frontiers in Mathematics, Libro 35 di 48. Libro 35 di 48 - Frontiers in Mathematics
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,05
EUR 61,25 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses the complex theory of differential equations or more precisely, the theory of differential equations on complex-analytic manifolds. Although the theory of differential equations on real manifolds is well known - it is described… in thousands of papers and its usefulness requires no comments or explanations - to date specialists on differential equations have not focused on the complex theory of partial differential equations. However, as well as being remarkably beautiful, this theory can be used to solve a number of problems in real theory, for instance, the Poincaré balayage problem and the mother body problem in geophysics. The monograph does not require readers to be familiar with advanced notions in complex analysis, differential equations, or topology. With its numerous examples and exercises, it appeals to advanced undergraduate and graduate students, and also to researchers wanting to familiarize themselves with the subject.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2023
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,17
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Statistical Learning Tools for Electricity Load Forecasting
Antoniadis, Anestis|Cugliari, Jairo|Fasiolo, Matteo|Goude, Yannig|Poggi, Jean-Michel
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Birkhäuser, 2024
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,10
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, Berlin, Birkhäuser, 2021
Serie: Studies in Universal Logic, Libro 16 di 18. Libro 16 di 18 - Studies in Universal Logic
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,57
EUR 61,82 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of propos…ed exercises.After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory.The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field.Decidability of Logical Theories and their Combinationis ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,16
EUR 62,81 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a unique collection of challenging geometry problems and detailed solutions that will build students' confidence in mathematics. By proposing several methods to approach each problem and emphasizing geometry's connections with different fiel…ds of mathematics, Methods of Solving Complex Geometry Problems serves as a bridge to more advanced problem solving. Written by an accomplished female mathematician who struggled with geometry as a child, it does not intimidate, but instead fosters the reader's ability to solve math problems through the direct application of theorems. Containing over 160 complex problems with hints and detailed solutions, Methods of Solving Complex Geometry Problems can be used as a self-study guide for mathematics competitions and for improving problem-solving skills in courses on plane geometry or the history of mathematics. It contains important and sometimes overlooked topics on triangles, quadrilaterals, and circles such as the Menelaus-Ceva theorem, Simson's line, Heron's formula, and the theorems of the three altitudes and medians. It can also be used by professors as a resource to stimulate the abstract thinking required to transcend the tedious and routine, bringing forth the original thought of which their students are capable. Methods of Solving Complex Geometry Problems will interest high school and college students needing to prepare for exams and competitions, as well as anyone who enjoys an intellectual challenge and has a special love of geometry. It will also appeal to instructors of geometry, history of mathematics, and math education courses.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,85
EUR 62,38 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can beusedin practice to express and reason about mathematical ideas.The book is an introduction tosimple type theory, a classical higher-or…der version of predicate logic that extends first-order logic. It presents a practice-oriented logic calledAlonzothat is based on Alonzo Church's formulation of simple type theory known asChurch's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.Topics and features:Offers the first book-length introduction to simple type theory as a predicate logicProvides the reader with a logic that is close to mathematical practicePresents the tools needed to build libraries of mathematical knowledgeEmploys two semantics, one for mathematics and one for logicEmphasizes the model-theoretic view of predicate logicIncludes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need apracticallogic for expressing and reasoning about mathematical ideas.William M. Farmeris a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.
