Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | SPRINGER-2016-9783319387987:ONLINE Show nearby items on shelf |
Title: | The Congruences of a Finite Lattice A Proof-by-Picture Approach |
Author(s): |
George Grätzer |
Date: | 2016 |
Edition: | 2nd ed. 2016 |
Size: | 1 online resource (346 p.) |
Note: | 10.1007/978-3-319-38798-7 |
ISBN: | 9783319387987 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Algebra , Ordered algebraic structures , Mathematical logic , Number theory , Probabilities , Mathematics , Order, Lattices, Ordered Algebraic Structures , Mathematical Logic and Foundations , Probability Theory and Stochastic Processes , Number Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319318035:ONLINE Show nearby items on shelf |
Title: | Dependence Logic Theory and Applications |
Author(s): | |
Date: | 2016 |
Size: | 1 online resource (276 p.) |
Note: | 10.1007/978-3-319-31803-5 |
Contents: | Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic -- Väänänen, Grelling on Dependence -- Galliani, On Strongly First-Order Dependencies -- Grädel, Games for Inclusion Logic and Fixed-Point Logic -- Hodge s, Remarks on Compositionality -- Hirvonen, Independence in Model Theory -- Ciardelli, Dependency as Question Entailment -- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data -- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures -- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem -- Blass, Introduction to Secret-Sharing |
ISBN: | 9783319318035 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319309675:ONLINE Show nearby items on shelf |
Title: | Writing Proofs in Analysis |
Author(s): |
Jonathan M Kane |
Date: | 2016 |
Size: | 1 online resource (4 p.) |
Note: | 10.1007/978-3-319-30967-5 |
Contents: | What Are Proofs, And Why Do We Write Them? -- The Basics of Proofs -- Limits -- Continuity -- Derivatives -- Riemann Integrals -- Infinite Series -- Sequences of Functions -- Topology of the Real Line -- Metric Spaces |
ISBN: | 9783319309675 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Fourier analysis , Functional analysis , Mathematical logic , Mathematics , Functional Analysis , Fourier Analysis , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319297880:ONLINE Show nearby items on shelf |
Title: | Ordered Sets An Introduction with Connections from Combinatorics to Topology |
Author(s): |
Bernd Schröder |
Date: | 2016 |
Edition: | 2nd ed. 2016 |
Size: | 1 online resource (10 p.) |
Note: | 10.1007/978-3-319-29788-0 |
Contents: | Preface -- Basics -- Chains, Antichains, and Fences -- Upper and Lower Bounds -- Retractions -- Constraint Satisfaction Problems -- Graphs and Homomorphisms -- Lexicographic Sums -- Lattices -- Truncated Lattices -- Dimension -- Interval Orders -- Sets P^Q = Hom (Q, P) and Products -- Enumeration of Ordered Sets -- Appendix A: Some Algebraic Topology -- Appendix B: Some Discrete Morse Theory -- References -- Index |
ISBN: | 9783319297880 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Algebra , Ordered algebraic structures , Mathematical logic , Algebraic topology , Combinatorics , Mathematics , Mathematical Logic and Foundations , Order, Lattices, Ordered Algebraic Structures , Combinatorics , Algebraic Topology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319291987:ONLINE Show nearby items on shelf |
Title: | Advances in Proof Theory |
Author(s): | |
Date: | 2016 |
Size: | 1 online resource (425 p.) |
Note: | 10.1007/978-3-319-29198-7 |
ISBN: | 9783319291987 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Progress in Computer Science and Applied Logic: 28 |
Keywords: | Mathematics , Logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319274959:ONLINE Show nearby items on shelf |
Title: | Trick or Truth? The Mysterious Connection Between Physics and Mathematics |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (8 p.) |
Note: | 10.1007/978-3-319-27495-9 |
Contents: | Introduction -- Children of the cosmos (S. Wenmackers) -- Mathematics is Physics (M. S. Leifer) -- My god, it's full of clones: Living in a mathematical universe (M. Séguin) -- Let's consider two spherical chickens (T. Bolognesi) -- |
The raven and the writing desk (I. Durham) -- The deeper roles of mathematics in physical laws (K. H. Knuth) -- How mathematics meets the world (T. Maudlin) -- Mathematics: intuition's consistency check (K. Wharton) -- How not to | |
factor a miracle (D. K. Wise) -- The language of nature (D. Garfinkle) -- Demystifying the applicability of mathematics (N. Fillion) -- Why mathematics works so well (N. S. Yanofsky) -- Genesis of a pythagorean universe (A. Burov) -- | |
Beyond math (S. Magnusdottir) -- The descent of math (S. I. Walker) -- The ultimate tactics of self-referential systems (C. C. Dantas) -- Cognitive science and the connection between physics and mathematics (A. Gupta Mujumdar) -- A | |
metaphorical chart of our mathematical ontology (P. Gibbs).-And the math will set you free (C. Stoica) -- Appendix: List of winners | |
ISBN: | 9783319274959 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Philosophy and science , Mathematical physics , Mathematical logic , Physics , History and Philosophical Foundations of Physics , Philosophy of Science , Mathematical Applications in the Physical Sciences , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319247564:ONLINE Show nearby items on shelf |
Title: | Modern Logic 1850-1950, East and West |
Author(s): | |
Date: | 2016 |
Size: | 1 online resource (4 p.) |
Note: | 10.1007/978-3-319-24756-4 |
Contents: | Contributors -- Introduction -- Irving H. Anellis: Preface and Prospectus -- Irving H. Anellis and Francine F. Abeles: The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen -- Jean Paul Van Bendegem: Logic and A rgumentation in Belgium: The Role of Leo Apostel -- Philippe de Rouilhan: Tarski’s Recantation: Reading the Postscript to “Wahrheitsbegriff” -- Jan Woleński: The Paradox of Analyticity and Related Issues -- David DeVidi and Herbert Korté: Naturali zing Natural Deduction -- Alberto Peruzzi: Category Theory and the Search for Universals: A Very Short Guide for Philosophers -- Roman Murawski: On the Way to Modern Logic – The Case of Polish Logic -- Valentin A. Bazhanov: Russian Origins of Non-Classi cal Logics -- Vladik Kreinovich: Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within -- Jonathan P. Seldin: On Normalizing Disjunctive Intermediate Logic -- R.E. Hodel: A Natural Axiom System for Boolean |
Algebras with Applications. | |
ISBN: | 9783319247564 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Logic , History , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , History of Mathematical Sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319226866:ONLINE Show nearby items on shelf |
Title: | Advances in Proof-Theoretic Semantics |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (283 p.) |
Note: | 10.1007/978-3-319-22686-6 |
Contents: | Chapter 1. Introduction Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory Kosta Došen -- Chapter 4. Generalised elimination ru les Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question Wilfrid Hodges -- Chapter 7. The mode of presentation Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS Dag Prawitz -- Chapter 9. Unification of logics by reflection Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject Göran Sundholm -- Chapter 11. Compositional semantics for pre dicate logic: Eliminating bound variables from formulas and deductions William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation Gabriele Usberti -- Chapter 13. Explicit composition and its application in |
normalization proofs Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoret ic Semantics Yoshihiro Maruyama | |
ISBN: | 9783319226866 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 43 |
Keywords: | Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319004822:ONLINE Show nearby items on shelf |
Title: | Leniewski's Systems of Logic and Foundations of Mathematics [electronic resource] |
Author(s): |
Rafal Urbaniak |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsawschool. The authors nuanced survey eschews secondary commentary, analyzing Leniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic. One of the undisputed leaders of the cohort of brillia nt logicians that congregated in Poland in the early twentieth century, Leniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski washis PhD student). His primary achievement was a system of foundational mathema tical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strandsprotothetic,ontology, and mereology, are detailed in discrete sections of this volume, alongside a wealth other chapters g rouped to provide the fullest possible coverage of Leniewskis academic output. With material on his earlyphilosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophys great pioneers |
Contents: | Chapter 1: Introduction |
Chapter 2. Leniewski's early philosophical views | |
Chapter 3. Leniewski's Protothetic | |
Chapter 4. Leniewski's Ontology | |
Chapter 5. Leniewski's Mereology | |
Chapter 6. Leniewski and definitions | |
Chapter 7. Sets revisited | |
Chapter 8. Nominalism and higher | |
order quantification | |
ISBN: | 9783319004822 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v37 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Science Philosophy , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9781493914746:ONLINE Show nearby items on shelf |
Title: | Alfred Tarski [electronic resource] : Early Work in PolandGeometry and Teaching |
Author(s): |
Andrew McFarland Joanna McFarland James T Smith |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Alfred Tarski (19011983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic, and universal algebra.Throughout his career, he taug ht mathematics and logic at universities and sometimes in secondary schools. Many of his writings before 1939 were in Polish and remained inaccessible to most mathematicians and historians until now. Thisself-contained book focuses on Tarskis early contri butions to geometry and mathematics education, including the famous BanachTarski paradoxical decomposition of a sphere as well as high-school mathematical topics and pedagogy.These themes are significant since Tarskis later research on geometry and its fo undations stemmed in part from his early employment as a high-school mathematics teacher and teacher-trainer. The book contains careful translations andmuch newly uncovered social background of these works written during Tarskis years in Poland. Alfred Ta rski: Early Work in PolandGeometry and Teaching serves the mathematical, educational, philosophical, and historicalcommunities by publishing Tarskis early writings in a broadly accessible form, providing background from archival work in Poland, and updati ng Tarskis bibliography |
Contents: | 1 Tarskis first paper |
1.1 Introduction | |
1.2 Item 1 below (nearing completion) | |
2 Papers on equidecomposibility of polygons | |
2.1 Introduction | |
2.2 Item 2 below (nearing completion) | |
2.3 Item 6 below (old translation, needs redoing) | |
2.4 Item 8 below (old translation, needs redoing) | |
2.5 Exercise 31pc in item 11g below | |
3 Papers related to secondary teaching | |
3.1 Introduction | |
3.2 Item 4 below (meeting report) | |
3.3 Item 7 below (on circles, nearing completion) | |
3.4 Extract from Item 9 below (textbook) | |
3.5 Remainder of item 11 below (exercises) | |
4 Assorted cont | |
ISBN: | 9781493914746 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Geometry , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9781461488545:ONLINE Show nearby items on shelf |
Title: | Set Theory [electronic resource] : With an Introduction to Real Point Sets |
Author(s): |
Abhijit Dasgupta |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbookpresents classical set theory in an intuitive but concrete manner. To allow flexibility of topic selection in courses, the book is organized into four relatively independent parts with distinct mathematical flavors. Part I begins withthe DedekindPeano axioms and ends with the construction of the real numbers. The core CantorDedekind theory of cardinals, orders, and ordinals appears in Part II. Part III focuses on the real continuum. Finally, foundationalissues and formal axioms are introduced in Part IV. Each part ends with a postscript chapter discussing topics beyond the scope of the main text, ranging from philosophical remarks to glimpses into landmark results of modern set theorysuch as the resolution of Lusin's problems on projective sets using determinacy of infinite ga mes and large cardinals. Separating the metamathematical issues into an optional fourth part at the end makes this textbook suitable forstudents interested in any field of mathematics, not just for those planning to specialize in logic or foundations. The re is enough material in the text for a year-long course at the upper-undergraduate level. For shorter one-semesteror one-quarter courses, a variety of arrangements of topics are possible. The book will be a useful resource for both experts working in a r elevant or adjacent area and beginners wanting to learn set theory via self-study |
Contents: | 1 Preliminaries: Sets, Relations, and Functions |
Part I Dedekind: Numbers | |
2 The DedekindPeano Axioms | |
3 Dedekinds Theory of the Continuum | |
4 Postscript I: What Exactly Are the Natural Numbers? | |
Part II Cantor: Cardinals, Order, and Ordinals | |
5 Cardinals: Finite, Countable, and Uncountable | |
6 Cardinal Arithmetic and the Cantor Set | |
7 Orders and Order Types | |
8 Dense and Complete Orders | |
9 Well | |
Orders and Ordinals | |
10 Alephs, Cofinality, and the Axiom of Choice | |
11 Posets, Zorns Lemma, Ranks, and Trees | |
12 Postscript II: Innitary Combinatorics | |
Part III Re | |
ISBN: | 9781461488545 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Algebra , Global analysis (Mathematics) , Logic, Symbolic and mathematical , Topology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783319009667:ONLINE Show nearby items on shelf |
Title: | Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift |
Author(s): |
Peter Paule |
Date: | 2013 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of theseconcepts, the essays pla ce strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria,on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation the founder of the Research Institute for Symbolic Computation (RISC)and its chairman from 1987-2000 the founder in 1990 of the Softwar epark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essaysby leading authorities, on such topics as mathematical foundations from the perspective of computer verification a symbolic-computational philosophy and methodology for mathematics the role of logic and algebra in softwareengineering and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically i nterested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computerscience and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchbergers successo r as director of the Research Institute for Symbolic Computation |
Note: | Springer eBooks |
Contents: | Preface |
Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification | |
Manfred Broy: On the Role of Logic and Algebra in Software Engineering | |
Stephen Wolfram: New Directions in the Foundations of Mathematics (2002) | |
Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics | |
ISBN: | 9783319009667 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Information theory , Algorithms , Computer software , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783319001197:ONLINE Show nearby items on shelf |
Title: | Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction |
Author(s): |
Pavel Pudlk |
Date: | 2013 |
Publisher: | Heidelberg : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broadspectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areasare connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability.Emphasis is on explaining the essence of concepts and the ideas of p roofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to moredifficult ones. The notes after each section present some formal definitions, theorems a nd proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who areinterested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory |
Note: | Springer eBooks |
Contents: | Mathematicians world |
Language, logic and computations | |
Set theory | |
Proofs of impossibility | |
The complexity of computations | |
Proof complexity | |
Consistency, Truth and Existence | |
References. | |
ISBN: | 9783319001197 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Springer Monographs in Mathematics, 1439-7382 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer software , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783034803793:ONLINE Show nearby items on shelf |
Title: | Around and Beyond the Square of Opposition [electronic resource] |
Author(s): |
Jean-Yves Bziau Dale Jacquette |
Date: | 2012 |
Publisher: | Basel : Springer Basel |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology,linguistics, mathemati cs, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory. The square of opposition is a veryattractive theme which has been going throu gh centuries without evaporating. Since 10 years there is a new growing interest for the square due to recent discoveries and challenging interpretations. This book presents a collection ofpreviously unpublished papers by high level specialists of the squ are from all over the world |
Note: | Springer eBooks |
Contents: | 1 Historical and Critical Aspects of the Square |
2 Philosophical Discussions around the Square of Opposition | |
3 The Square of Opposition and Non | |
Classical Logics | |
4 Constructions Generalizing the Square of Opposition | |
5 Applications of the Square of Opposition | |
ISBN: | 9783034803793 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Studies in Universal Logic |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9789400700055:ONLINE Show nearby items on shelf |
Title: | Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] |
Author(s): |
Ewa Orlowska Joanna Goliska Pilarek |
Date: | 2011 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valuedlogics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, thresholdlogics, logics of conditional decisions). The di stinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories.In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particulartheory |
Note: | Springer eBooks |
Contents: | 1. Dual Tableau for Classical First |
Order Logic | |
2. Dual Tableaux for Logics of Classical Algebras of Binary | |
3. Theories of Point Relations and Relational Model Checking | |
4. Dual Tableaux for Peirce Algebras | |
5. Dual Tableaux for Fork Algebras | |
6. Dual Tableaux for Relational Databases | |
Part III. Relational Reasoning in Traditional Non | |
classical Logics | |
7. Dual Tableaux for Classical Modal Logics | |
8. Dual Tableaux for Some Logics Based on Intuitionism | |
9. Dual Tableaux for Relevant Logics | |
10. Dual Tableaux for Many | |
valued Logics | |
Part IV. Relational Reasoning in Logi | |
ISBN: | 9789400700055 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic, 1572-6126 : v33 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9788847018365:ONLINE Show nearby items on shelf |
Title: | Giuseppe Peano between Mathematics and Logic [electronic resource] : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the FormularioMathematico, Turin (Italy), October 23,2008 / edited by Fulvia Skof |
Author(s): |
Fulvia Skof |
Date: | 2011 |
Publisher: | Milano : Springer Milan |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino University tocelebrate the 150th anniversa ry of G. Peano's birth - one of the greatest figures in modern mathematics and logic and the most important mathematical logician in Italy - a century after the publication of Formulario Mathematico, agreat attempt to systematise Mathematics in symbolic f orm |
Note: | Springer eBooks |
Contents: | Giuseppe Peano and Mathematical Analysis in Italy |
Some Contributions of Peano to Analysis in the Light of the Work of Belgian Mathematicians | |
Peano, his School andNumerical Analysis | |
Geometric Calculus and Geometry Foundations in Peano | |
The Formulario between Mathematics and History | |
Giuseppe Peano: a Revolutionary in Symbolic Logic? | |
At the Origins of Metalogic | |
Foundations of Geometry in the School of Peano | |
ISBN: | 9788847018365 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Science Philosophy , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9783642128219:ONLINE Show nearby items on shelf |
Title: | New Structures for Physics [electronic resource] |
Author(s): |
Bob Coecke |
Date: | 2011 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory ofmonoidal categories and corresponding graphical calculi, Girards linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are veryprominent in computer science the chapters here are tailored towards an audience of physicists |
Note: | Springer eBooks |
Contents: | Part I An ABC on Compositionality |
Part II Manifestations of Linearity | |
Part III More Example Applications | |
Part IV Informatic Geometry | |
Part V. Spatio | |
Temporal Geometry | |
Part VI Geometry and Topology in Computation | |
ISBN: | 9783642128219 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Lecture Notes in Physics, 0075-8450 : v813 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Information theory , Algebra , Mathematical physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9780857295378:ONLINE Show nearby items on shelf |
Title: | The Selected Correspondence of L.E.J. Brouwer [electronic resource] |
Author(s): |
Dirk Dalen |
Date: | 2011 |
Publisher: | London : Springer London |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | L.E.J. Brouwer (1881-1966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters university and faculty correspondence has beenincluded, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwers biography, this book providesinstrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of biographical and scientific information, the latter deals with innovations in topology(Cantor-Schoenflies style and the new topology) and foundations. The topologi cal period in his research is well represented in correspondence with Hilbert, Schoenflies, Poincar, Blumenthal, Lebesgue, Baire, Koebe, and foundationaltopics are discussed in letters exchanged with Weyl, Fraenkel, Heyting, van Dantzig and others. There is also a large part of correspondence on matters related to the interbellum scientific politics. This book will appeal to bothgraduate students and researchers with an interest in topology, the history of mathematics, the foundations of mathematics, phil osophy and general science |
Note: | Springer eBooks |
Contents: | Introduction |
1900 | |
1910 | |
1911 | |
1920 | |
1921 | |
1930 | |
1931 | |
1940 | |
1941 | |
1950 | |
1951 | |
1965 | |
Appendices | |
List of Enclosures, Editorial Comments and Editorial | |
Supplements | |
Biographical information | |
List of letters | |
Abbreviations | |
Organizations and journals | |
ISBN: | 9780857295378 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Sources and Studies in the History of Mathematics and Physical Sciences |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Logic, Symbolic and mathematical , Topology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9781441912213:ONLINE Show nearby items on shelf |
Title: | A Concise Introduction to Mathematical Logic [electronic resource] |
Author(s): |
Wolfgang Rautenberg |
Date: | 2010 |
Edition: | 3 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from theendeavors of Peano, Frege, an d others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics,informatics, linguistics and philosophy. This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as agraduate text, the first three chapters can easily be read by undergraduates i nterested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications offormalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view t owards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and relatedtopics. The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory , recursion theory, Gdels Incompleteness Theorems, and applications of mathematical logic. Philosophicaland foundational problems of mathematics are discussed throughout the text. Each section of the seven chapters ends with exercises some of which of imp ortance for the text itself. There are hints to most of the exercises in a separatefile Solution Hints to the Exercises which is not part of the book but is available from the authors website |
Note: | Springer eBooks |
Contents: | Preface |
Introduction | |
Notation | |
Propositional Logic | |
First | |
Order Logic | |
Complete Logical Calculi | |
Foundations of Logical Programming | |
Elements of Model Theory | |
Incompleteness and Undecidability | |
On the Theory of Self | |
Reference | |
Bibliography | |
Index of Terms and Names | |
Index of Symbols | |
ISBN: | 9781441912213 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9781402089268:ONLINE Show nearby items on shelf |
Title: | Logicism, Intuitionism, and Formalism [electronic resource] : What has Become of Them? |
Author(s): |
Sten Lindstrm Erik Palmgren Krister Segerberg Viggo Stoltenberg-Hansen |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gdel's ber formal unentscheidbare Stze der Principia Mathematica und verwandterSysteme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist andproof-theoretic programme. In this period, there were also lively e xchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s. The purpose of this anthology is to review the programmes inthe foundations of mathematics from the classical period and to assess their possible rele vance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classicalperiod and the disputes that took place between them? To what extent do the classical programmes of logicism, intui tionism and formalism represent options that are still alive today? These questions are addressed in this volume byleading mathematical logicians and philosophers of mathematics. The volume will be of interest primarily to researchers and graduate student s of philosophy, logic, mathematics and theoretical computer science. The material will beaccessible to specialists in these areas and to advanced graduate students in the respective fields |
Note: | Springer eBooks |
Contents: | From the contents Preface. Notes On The Contributors. Introduction |
I. Logicism And Neo | |
Logicism | |
II. Intuitionism And Constructive Mathematics | |
III. Formalism | |
Index | |
ISBN: | 9781402089268 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science : v341 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Genetic epistemology , Logic , Ontology , Linguistics Philosophy , Mathematics_$xHistory , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9781402066689:ONLINE Show nearby items on shelf |
Title: | Foundations of Generic Optimization [electronic resource] : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks |
Author(s): |
Robert Lowen Alain Verschoren |
Date: | 2008 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks. This book offersresearchers not only a solid background but also a snapshot of the current state of the art in this field |
Note: | Springer eBooks |
ISBN: | 9781402066689 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematical Modelling: Theory and Applications, 1386-2960 : v24 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Computational complexity , Genetics Mathematics , Combinatorics , Mathematical optimization |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780817647636:ONLINE Show nearby items on shelf |
Title: | Logic for Computer Scientists [electronic resource] |
Author(s): |
Uwe Schning |
Date: | 2008 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computerscience research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advancedundergraduate course in logic for compute r scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. Schning decides to concentrate on computationalissues, and gives us a short book (less than 170 pages) with a tig ht storyline. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow. This book seemssuitable for a short course, a seminar series, or part of a larger course on Prolog and logic p rogramming, probably at the advanced undergraduate level. SIGACT News Contains examples and 126 interesting exercises which put thestudent in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. Mathematical Reviews This book concentrates on those aspects ofmathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises andillustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introduct ory course in artificial intelligence. Zentralblatt MATH |
Note: | Springer eBooks |
Contents: | Introduction |
Propositional Logic | |
Predicate Logic | |
Logic Programming | |
Bibliography | |
Table of Notations | |
Index | |
ISBN: | 9780817647636 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Progress in Computer Science and Applied Logic (PCS) : v8 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780387762777:ONLINE Show nearby items on shelf |
Title: | A Course on Mathematical Logic [electronic resource] |
Author(s): |
S. M Srivastava |
Date: | 2008 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowingwhat logic is concerned with and who would like to learn Gdels incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like abranch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all thebasic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory,and computability. The main prerequisite for this book is the willingness to work at a reasonable l evel of mathematical rigor and generality. Shashi Mohan Srivastava is a Professor at the Indian Statistical Institute, Kolkata, India.He is also the author of A Course on Borel Sets, GTM 180 |
Note: | Springer eBooks |
Contents: | Preface |
Syntax of first order logic | |
Semantics of first | |
order languages | |
Propositional logic | |
Proof and metatheorems in first | |
order logic | |
Completeness theorem and model theory | |
Recursive functions and arithmetization of theories | |
Incompleteness theorems and recursion theory | |
References | |
Index | |
ISBN: | 9780387762777 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9783764383503:ONLINE Show nearby items on shelf |
Title: | Labyrinth of Thought [electronic resource] : A History of Set Theory and Its Role in Modern Mathematics |
Author(s): |
Jos Ferreirs |
Date: | 2007 |
Edition: | Second revised edition |
Publisher: | Basel : Birkhuser Basel |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. Rather than focusing on the pivotal figure of Georg Cantor, it analyzes hiswork and the emergence of transfinite set theory within the broader context of the rise of modern mathematics. The text has a tripartite structure. Part 1, The Emergence of Sets within Mathematics, surveys the initial motivations for amathematical notion of a set within several b ranches of the discipline (geometry, algebra, algebraic number theory, real and complex analysis), emphasizing the role played by Riemann in fostering acceptance of the set-theoreticapproach. In Part 2, Entering the Labyrinth, attention turns to the earli est theories of sets, their evolution, and their reception by the mathematical community prominent are the epoch-making contributions of Cantor and Dedekind, andthe complex interactions between them. Part 3, In Search of an Axiom System, studies the four- decade period from the discovery of set-theoretic paradoxes to Gdels independence results, an era during which set theory graduallybecame assimilated into mainstream mathematics particular attention is given to the interactions between axiomatic set theor y and modern systems of formal logic, especially the interplay between set theory and type theory. A newEpilogue for this second edition offers further reflections on the foundations of set theory, including the dichotomy conception and the well-known ite rative conception. The author paints on a grand scale. He sees clearly, and hesees whole. The result is a spacious canvas full of intriguing scenes and portraits from the history of set theory, seamlessly juxtaposed to form a fascinating and accurate pict ure of a vast area of modern mathematics. It is amust-have book for anyone who wishes to gain a balanced picture of this history. It is written in clear and elegant language for the learner, w |
Note: | Springer eBooks |
Contents: | The Emergence of Sets within Mathematics |
Institutional and Intellectual Contexts in German Mathematics, 18001870 | |
A New Fundamental Notion: Riemanns Manifolds | |
Dedekind and the Set | |
theoretical Approach to Algebra | |
The Real Number System | |
Origins of the Theory of Point | |
Sets | |
Entering the Labyrinth | |
Toward Abstract Set Theory | |
The Notion of Cardinality and the Continuum Hypothesis | |
Sets and Maps as a Foundation for Mathematics | |
The Transfinite Ordinals and Cantors Mature Theory | |
In Search of an Axiom System | |
Diffusion, Crisis, and Bifurcation: 1890 to 1914 | |
Logic | |
ISBN: | 9783764383503 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Mathematics_$xHistory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9783211499054:ONLINE Show nearby items on shelf |
Title: | The Strength of Nonstandard Analysis [electronic resource] |
Author(s): |
Imme Berg Vtor Neves |
Date: | 2007 |
Publisher: | Vienna : Springer Vienna |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Nonstandard Analysis enhances mathematical reasoning by introducing new ways of expression and deduction. Distinguishing between standard and nonstandard mathematical objects, its inventor, the eminent mathematician AbrahamRobinson, settled in 1961 t he centuries-old problem of how to use infinitesimals correctly in analysis. Having also worked as an engineer, he saw not only that his method greatly simplified mathematically proving and teaching, but alsoserved as a powerful tool in modelling, analyzi ng and solving problems in the applied sciences, among others by effective rescaling and by infinitesimal discretizations. This book reflects the progress made in the forty years since theappearance of Robinsons revolutionary book Nonstandard Analysis: in the foundations of mathematics and logic, number theory, statistics and probability, in ordinary, partial and stochastic differential equations and in education.The contributions are clear and essentially self-contained |
Note: | Springer eBooks |
Contents: | Foundations: The strength of nonstandard analysis (J. Keisler) The virtue of simplicity (E. Nelson) Analysis of various practices of referring in classical or non standard mathematics (Y. Praire) Stratified analysis?(K. Hrbacek) ERNA at work ( C. Impens/S. Sanders) The Sousa Pinto approach to nonstandard generalised functions (R. F. Hoskins) Neutrices in more dimensions (I. van den Berg) |
Number theory: Nonstandard methods for additive and combinatorial number theory. A survey (R. Jin) Nonstandard methods and the Erds | |
Turn conjecture (S. C. Leth) | |
Statistics, probability and m | |
ISBN: | 9783211499054 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Global analysis (Mathematics) , Differential equations, partial , Mathematics_$xHistory , Logic, Symbolic and mathematical , Number theory , Distribution (Probability theory) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780817646035:ONLINE Show nearby items on shelf |
Title: | The Legacy of Mario Pieri in Geometry and Arithmetic [electronic resource] |
Author(s): |
Elena Anne Marchisotto James T Smith |
Date: | 2007 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The Italian mathematician Mario Pieri (1860-1913) played an integral part in the research groups of Corrado Segre and Giuseppe Peano, and thus had a significant, yet somewhat underappreciated impact on several branches ofmathematics, particularly on the development of algebraic geometry and the foundations of mathematics in the years around the turn of the 20th century. This book is the first in a series of three volumes that are dedicated tocountering that neglect and comprehensively examining Pieri s life, mathematical work, and influence in such diverse fields as mathematical logic, algebraic geometry, number theory, inversive geometry, vector analysis, anddifferential geometry. The Legacy of Mario Pieri in Geometry and Arithmetic introduces reader s to Pieris career and his studies in foundations, from both historical and modern viewpoints, placing his life and research in context andtracing his influence on his contemporaries as well as more recent mathematicians. The text also provides a glimpse of the Italian academic world of Pieri's time, and its relationship with the developing international mathematicscommunity. Included in this volume are the first English translations, along with analyses, of two of his most important axiomatizationshis po stulates for arithmetic, which Peano judged superior to his own and his foundation ofelementary geometry on the basis of point and sphere, which Alfred Tarski used as a basis for his own system. Combining an engaging exposition, little-known historical in formation, exhaustive references and an excellent index, thistext will be of interest to graduate students, researchers, and historians with a general knowledge of logic and advanced mathematics, and it requires no specialized experience in mathematical l ogic or the foundations of geometry |
Note: | Springer eBooks |
Contents: | Preface |
Introduction | |
Overview of Pieri's Research | |
In the Shadow of Giants | |
Arithmetic | |
Elementary Geometry | |
Pieri's Place in History | |
ISBN: | 9780817646035 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Geometry, algebraic , Geometry , Mathematics_$xHistory , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780817645618:ONLINE Show nearby items on shelf |
Title: | 104 Number Theory Problems [electronic resource] : From the Training of the USA IMO Team |
Author(s): |
Titu Andreescu Dorin Andrica Zuming Feng |
Date: | 2007 |
Publisher: | Boston, MA : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude of problem-solving skills needed to excel in mathematical contests and research in number theory. Offeringinspiration and intell ectual delight, the problems throughout the book encourage students to express their ideas, conjectures, and conclusions in writing. Applying specific techniques and strategies, readers will acquire a solidunderstanding of the fundamental concepts and ide as of number theory. Key features: * Contains problems developed for various mathematical contests, including the International Mathematical Olympiad (IMO) * Builds a bridge betweenordinary high school examples and exercises in number theory and more soph isticated, intricate and abstract concepts and problems * Begins by familiarizing students with typical examples that illustrate central themes, followed bynumerous carefully selected problems and extensive discussions of their solutions * Combines unconv entional and essay-type examples, exercises and problems, many presented in an original fashion * Engages students in creative thinkingand stimulates them to express their comprehension and mastery of the material beyond the classroom 104 Number Theory Pr oblems is a valuable resource for advanced high school students, undergraduates, instructors, and mathematicscoaches preparing to participate in mathematical contests and those contemplating future research in number theory and its related areas |
Note: | Springer eBooks |
Contents: | Preface |
Acknowledgments | |
Abbreviations and Notation | |
Foundations of Number Theory | |
Introductory Problems | |
Advanced Problems | |
Solutions to Introductory Problems | |
Solutions to Advanced Problems | |
Glossary | |
Further Reading | |
Subject Index | |
ISBN: | 9780817645618 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Sequences (Mathematics) , Logic, Symbolic and mathematical , Number theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780387493862:ONLINE Show nearby items on shelf |
Title: | Geometry of Quantum Theory [electronic resource] |
Author(s): |
V. S Varadarajan |
Date: | 2007 |
Edition: | Second Edition |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Available for the first time in soft cover, this book is a classic on the foundations of quantum theory. It examines the subject from a point of view that goes back to Heisenberg and Dirac, and whose definitive mathematicalformulation is due to von N eumann. This view, which is essentially geometric and relies on the concept of symmetry, leads most naturally to the fundamental questions that are the basis of all attempts to understand the world of atomicand subatomic particles. The mathematical treatm ent of symmetry in quantum theory is based on the theory of group representations, and this book includes a self-contained treatment of the parts of this theory that are most useful inquantum physics |
Note: | Springer eBooks |
Contents: | Preface to the First Edition |
Preface to the Second Edition | |
Introduction | |
1. Boolean Algebras on a Classical Phase Space | |
2. Projective Geometries | |
3. The Logic of a Quantum Mechanical System | |
4. Logics Associated with Hilbert Spaces | |
5. Measure Theory on G | |
Spaces | |
6. Systems of Imprimitivity | |
7. Multipliers | |
8. Kinematics and Dynamics | |
9. Relativistic Free Particles | |
Bibliography | |
Index | |
ISBN: | 9780387493862 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Mathematical physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780387400549:ONLINE Show nearby items on shelf |
Title: | The Nature of Statistical Evidence [electronic resource] |
Author(s): |
Bill Thompson |
Date: | 2007 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The purpose of this book is to discuss whether statistical methods make sense. That is a fair question, at the heart of the statistician-client relationship, but put so boldly it may arouse anger. The many books entitledsomething like Foundations of Statistics avoid controversy by merely describing the various methods without explaining why certain conclusions may be drawn from certain data. But we statisticians need a better answer then just shoutinga little louder. To avoid a duel, we prejudge the issue and ask the narrower question: In what sense do statistical methods provide scientific evidence? The present volume begins the task of providing interpretations andexplanations of several theories of statistical evidence. It should be relevant to an yone interested in the logic of experimental science. Have we achieved a true Foundation of Statistics? We have made the link with one widely acceptedview of science and we have explained the senses in which Bayesian statistics and p-values allow us to dr aw conclusions. Bill Thompson is Professor emeritus of Statistics at the University of Missouri-Columbia. He has had practicalaffiliations with the National Bureau of Standards, E.I. Dupont, the U.S. Army Air Defense Board, and Oak Ridge National Laborato ries. He is a fellow of the American Statistical Association and has served as associate editor of thejournal of that society. He has authored the book Applied Probability |
Note: | Springer eBooks |
Contents: | Mathematics and its Applications |
The Evolution of Natural Scientists and their Theories | |
Law and Learning | |
Introduction to Probability | |
The Fair Betting Utility Interpretation of Probability | |
Attitudes toward Chance | |
A Framework for Statistics | |
A Critique of Bayesian Inference | |
The Long Run Consequence of Behavior | |
A Critique of P | |
Values | |
The Nature of Statistical Evidence | |
The Science of Statistics | |
Comparison of Evidential Theories | |
ISBN: | 9780387400549 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Lecture Notes in Statistics, 0930-0325 : v189 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Mathematical statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2006-9780387342412:ONLINE Show nearby items on shelf |
Title: | A Concise Introduction to Mathematical Logic [electronic resource] |
Author(s): |
Wolfgang Rautenberg |
Date: | 2006 |
Edition: | 2 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create alogistic foundation for m athematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there arealready several well-known textbooks on mathematical logic, this book is unique in that it is more concise than most others the material is treated in a streamlined fashion. This allows the lecturer to select the material for aone-semester course on a topic more easily. Although the book is intended for us e as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover justthe material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving,non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, mod el theory, recursion theory, Gdel's Incompleteness Theorems, and applications of mathematical logic.Philosophical and foundational problems of mathematics are discussed where appropriate. The author has provided exercises for each section, as well as hint s or even complete solutions to most exercises at the end of the book. From theforeword, written by Lev Beklemishev: a well-written introduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Gdels incompleteness theorems,as well as some topics motivated by applications, such as a chapter on logic programming. The author has taken great care to make the expositi |
Note: | Springer eBooks |
Contents: | Foreword |
Preface | |
Introduction | |
Notation | |
Propositional Logic | |
Predicate Logic | |
Gdels Completeness Theorem | |
The Foundations of Logic Programming | |
Elements of Model Theory | |
Incompleteness and Undecidability | |
On the Theory of Self | |
Reference | |
Hints to the Exercises | |
Literature | |
Index of Terms and Names | |
Index of Symbols | |
ISBN: | 9780387342412 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9789401705264:ONLINE Show nearby items on shelf |
Title: | Reasoning in Quantum Theory Sharp and Unsharp Quantum Logics |
Author(s): |
M. Dalla Chiara |
Date: | 2004 |
Size: | 1 online resource (298 p.) |
Note: | 10.1007/978-94-017-0526-4 |
Contents: | I Mathematical and Physical Background -- 1. The mathematical scenario of quantum theory and von Neumann’s axiomatization -- 2. Abstract axiomatic foundations of sharp QT -- 3. Back to Hilbert space -- 4. The emergence of fuzzy events |
in Hilbert space quantum theory -- 5. Effect algebras and quantum MV algebras -- 6. Abstract axiomatic foundations of unsharp quantum theory -- 7. To what extent is quantum ambiguity ambiguous? -- II Quantum Logics as Logic -- 8. Sharp | |
quantum logics -- 9. Metalogical properties and anomalies of quantum logic -- 10. An axiomatization of OL and OQL -- 11. The metalogical intractability of orthomodularity -- 12. First-order quantum logics and quantum set theories -- | |
13. Partial classical logic, the Lindenbaum property and the hidden variable problem -- 14. Unsharp quantum logics -- 15. The Brouwer Zadeh logics -- 16. Partial quantum logics and ?ukasiewicz’ quantum logic -- 17. Quantum | |
computational logic -- Conclusions -- Synoptic tables -- Index of Symbols -- Index of Names | |
ISBN: | 9789401705264 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 22 |
Keywords: | Mathematics , Philosophy and science , Algebra , Ordered algebraic structures , Mathematical logic , Quantum physics , Mathematics , Order, Lattices, Ordered Algebraic Structures , Quantum Physics , Mathematical Logic and Foundations , Philosophy of Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783662089989:ONLINE Show nearby items on shelf |
Title: | Nonstandard Analysis, Axiomatically |
Author(s): |
Vladimir Kanovei |
Date: | 2004 |
Size: | 1 online resource (410 p.) |
Note: | 10.1007/978-3-662-08998-9 |
Contents: | 1 Getting started -- 2 Elementary real analysis in the nonstandard universe -- 3 Theories of internal sets -- 4 Metamathematics of internal theories -- 5 Definable external sets and metamathematics of HST -- 6 Partially saturated |
universes and the Power Set problem -- 7 Forcing extensions of the nonstandard universe -- 8 Other nonstandard theories -- 9 “Hyperfinite” descriptive set theory -- References | |
ISBN: | 9783662089989 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematical logic , Mathematics , Analysis , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783642593093:ONLINE Show nearby items on shelf |
Title: | Theory of Sets |
Author(s): |
Nicolas Bourbaki |
Date: | 2004 |
Size: | 1 online resource (414 p.) |
Note: | 10.1007/978-3-642-59309-3 |
Contents: | I. Description of Formal Mathematics -- § 1. Terms and relations -- § 2. Theorems -- § 3. Logical theories -- § 4. Quantified theories -- § 5. Equalitarian theories -- Appendix. Characterization of terms and relations -- Exercises for |
§ 1 -- Exercises for § 2 -- Exercises for § 3 -- Exercises for § 4 -- Exercises for § 5 -- Exercises for the Appendix -- II. Theory of Sets -- § 1. Collectivizing relations -- § 2. Ordered pairs -- § 3. Correspondences -- § 4. Union | |
and intersection of a family of sets -- § 5. Product of a family of sets -- § 6. Equivalence relations -- Exercises for § 1 -- Exercises for § 2 -- Exercises for § 3 -- Exercises for § 4 -- Exercises for § 5 -- Exercises for § 6 -- | |
III. Ordered Sets, Cardinals, Integers -- § 1. Order relations. Ordered sets -- § 2. Well-ordered sets -- § 3. Equipotent sets. Cardinals -- § 4. Natural integers. Finite sets -- § 5. Properties of integers -- § 6. Infinite sets -- § | |
7. Inverse limits and direct limits -- Exercises for § 1 -- Exercises for § 2 -- Exercises for § 3 -- Exercises for § 4 -- Exercises for § 5 -- Exercises for § 6 -- Exercises for § 7 -- Historical Note on § 5 -- IV. Structures -- § 1. | |
Structures and isomorphisms -- § 2. Morphisms and derived structures -- § 3. Universal mappings -- Exercises for § 1 -- Exercises for § 2 -- Exercises for § 3 -- Historical Note on Chapters I-IV -- Summary of Results -- § 1. Elements | |
and subsets of a set -- § 2. Functions -- § 3. Products of sets -- § 4. Union, intersection, product of a family of sets -- § 5. Equivalence relations and quotient sets -- § 6. Ordered sets -- § 7. Powers. Countable sets -- § 8. Scales | |
of sets. Structures -- Index of notation -- Index of terminology -- Axioms and schemes of the theory of sets | |
ISBN: | 9783642593093 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783540851080:ONLINE Show nearby items on shelf |
Title: | Logic and Structure |
Author(s): |
Dirk van Dalen |
Date: | 2004 |
Size: | 1 online resource (267 p.) |
Note: | 10.1007/978-3-540-85108-0 |
Contents: | Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second Order Logic -- Intuitionistic Logic -- Normalisation -- Gödel’s theorem |
ISBN: | 9783540851080 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9783540445081:ONLINE Show nearby items on shelf |
Title: | Topics in Orbit Equivalence |
Author(s): |
Alexander S Kechris |
Date: | 2004 |
Size: | 1 online resource (138 p.) |
Note: | 10.1007/b99421 |
Contents: | Preface -- I. Orbit Equivalence -- II. Amenability and Hyperfiniteness -- III. Costs of Equivalence Relations and Groups -- References -- Index |
ISBN: | 9783540445081 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Mathematics: 1852 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Harmonic analysis , Dynamics , Ergodic theory , Functions of real variables , Mathematical logic , Topology , Mathematics , Analysis , Mathematical Logic and Foundations , Real Functions , Dynamical Systems and Ergodic Theory , Abstract Harmonic Analysis , Topology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781475738148:ONLINE Show nearby items on shelf |
Title: | A Beginner’s Guide to Finite Mathematics For Business, Management, and the Social Sciences |
Author(s): |
W. D Wallis |
Date: | 2004 |
Size: | 1 online resource (355 p.) |
Note: | 10.1007/978-1-4757-3814-8 |
Contents: | 1 Numbers and Sets -- 2 Counting -- 3 Probability -- 4 Graph Theory -- 5 Matrices -- 6 Linear Programming -- Your Turn Solutions -- Answers to Exercises A |
ISBN: | 9781475738148 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Applied mathematics , Engineering mathematics , Game theory , Mathematical logic , Combinatorics , Statistics , Mathematics , Mathematical Logic and Foundations , Discrete Mathematics in Computer Science , Applications of Mathematics , Game Theory, Economics, Social and Behav. Sciences , Combinatorics , Statistical Theory and Methods |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781441989772:ONLINE Show nearby items on shelf |
Title: | Fuzzy Logic in Management |
Author(s): |
Christer Carlsson |
Date: | 2004 |
Size: | 1 online resource (276 p.) |
Note: | 10.1007/978-1-4419-8977-2 |
Contents: | 1. Management And Intelligent Support Technologies -- 1 Management -- 2 Decision Support Systems -- 3 Hyper Knowledge - a Brief Summary of Experiences -- 4 New Information Technology, Intelligent Systems and Soft Computing -- 5 Some |
Lessons for Future DSS -- 2. Fuzzy Sets And Fuzzy Logic -- 1 Fuzzy Sets -- 2 Averaging operators -- 3. Group Decision Support Systems -- 1 The Arrow Impossibility Theorem: From Classical to Fuzzy Approaches -- 2 Consensus Modeling in | |
GDM -- 3 A Soft Degree of Consensus Based on Fuzzy Logic with Linguistic Quantifiers -- 4 An Interactive System for Consensus Reaching -- 5 The OCA Approach to Multicriteria Multiperson Consensus Modeling -- 6 Quality Evaluation of | |
Elderly Persons' Homes Using Fuzzy Quantifiers -- 7 A Decision Support System for Strategic Planning Through Scenarios -- 8 An Artificial Neural Network Evaluator for Mortgage Loan Applications -- 9 A Linguistic Approach to Personnel | |
Evaluation -- 10 An Application to Environmental Policies -- 4. Fuzzy Real Options For Strategic Planning -- 1 A Fuzzy Approach to Real Option Valuation -- 2 Nordic Telekom Inc. -- 3 Summary -- 5. A Fuzzy Approach To Reducing The | |
Bullwhip Effect -- 1 The Bullwhip Effect, Some Additional Details -- 2 Fuzzy Approaches to Demand Signal Processing -- 3 A Hybrid Soft Computing Platform for Taming the Bullwhip Effect -- 4 Summary -- 6. Knowledge Management -- 1 | |
Introduction -- 2 The Current Stage of Knowledge Management Research -- 3 Knowledge Management: A Conceptual Framework -- 4 Knowledge Management Strategies -- 5 Knowledge Management Projects -- 6 Research in Knowledge Management — Some | |
Methodology Issues -- 7 IT-Solutions to Support Knowledge Management -- 7. Mobile Technology Applications -- 1 Introduction -- 2 Consumer Survey in Finland -- 3 An Expert Survey in Finland -- 4 Acceptance of Mobile Commerce in Finland, | |
Hong Kong and Singapore -- 5 Mobile Commerce Products and Services | |
ISBN: | 9781441989772 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | International Series in Operations Research & Management Science: 66 |
Keywords: | Mathematics , Management , Industrial management , Operations research , Decision making , Artificial intelligence , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Management , Operation Research/Decision Theory , Artificial Intelligence (incl. Robotics) , Innovation/Technology Management |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781402029387:ONLINE Show nearby items on shelf |
Title: | Logic Functions and Equations Binary Models for Computer Science |
Author(s): |
Christian Posthoff |
Date: | 2004 |
Size: | 1 online resource (392 p.) |
Note: | 10.1007/978-1-4020-2938-7 |
Contents: | I. Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 4. Boolean Differential Calculus -- 5. The Solution of Logic Equations -- II. Applications -- 6. Logics and Arithmetics -- 7. Combinational Circuits |
-- 8. Finite-State Machines -- III. Tools -- 9. Xboole | |
ISBN: | 9781402029387 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Logic design , Computer logic , Computer science , Mathematical logic , Electrical engineering , Mathematics , Mathematical Logic and Foundations , Electrical Engineering , Logic Design , Mathematics of Computing , Logics and Meanings of Programs , Discrete Mathematics in Computer Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781402027765:ONLINE Show nearby items on shelf |
Title: | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference “Foundations of the Formal Sciences III” |
Author(s): | |
Date: | 2004 |
Size: | 1 online resource (260 p.) |
Note: | 10.1007/978-1-4020-2776-5 |
Contents: | Complexity hierarchies derived from reduction functions -- Quantum query algorithms and lower bounds -- Algebras of minimal rank: overview and recent developments -- Recent developments in iterated forcing theory -- Classification |
problems in algebra and topology -- Using easy optimization problems to solve hard ones -- On Sacks forcing and the Sacks property -- Supertask computation -- A refinement of Jensen's constructible hierarchy -- Effective Hausdorff | |
dimension -- Axiomatizability of algebras of binary relations -- Forcing axioms and projective sets of reals -- Post's and other problems of supertasks of higher type | |
ISBN: | 9781402027765 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic : 23 |
Keywords: | Computer science , Computers , Computer science , Algorithms , Mathematical logic , Computer Science , Computer Science, general , Theory of Computation , Mathematical Logic and Foundations , Math Applications in Computer Science , Mathematics of Computing , Algorithms |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9781402026539:ONLINE Show nearby items on shelf |
Title: | Automated Model Building |
Author(s): |
Ricardo Caferra |
Date: | 2004 |
Size: | 1 online resource (341 p.) |
Note: | 10.1007/978-1-4020-2653-9 |
Contents: | 1. Introduction -- 2. Preliminaries -- 3. Resolution-Based Methods -- 4. Constraint-Based Methods -- 5. Model Representation and Evaluation -- 6. Finite Model Building -- 7. Conclusion -- Notation Index -- References |
ISBN: | 9781402026539 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 31 |
Keywords: | Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2004-9780306486364:ONLINE Show nearby items on shelf |
Title: | Computing System Reliability Models and Analysis |
Author(s): |
Min Xie |
Date: | 2004 |
Size: | 1 online resource (293 p.) |
Note: | 10.1007/b100619 |
Contents: | Basic Reliability Concepts and Analysis -- Models for Hardware System Reliability -- Models for Software Reliability -- Models for Integrated Systems -- Availability and Reliability of Distributed Computing Systems -- Reliability of |
Grid Computing Systems -- Multi-state System Reliability -- Optimal System Design and Resource Allocation | |
ISBN: | 9780306486364 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Microprocessors , Software engineering , Mathematical models , Mathematical logic , Mathematics , Mathematical Modeling and Industrial Mathematics , Computer Science, general , Processor Architectures , Mathematical Logic and Foundations , Software Engineering/Programming and Operating Systems |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401735988:ONLINE Show nearby items on shelf |
Title: | Trends in Logic 50 Years of Studia Logica |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (384 p.) |
Note: | 10.1007/978-94-017-3598-8 |
Contents: | 50 Years of Studia Logica: Editorial Introduction -- Polish Logic in Postwar Period -- Fifty Years: Changes and Constants in Logic -- Generalized Matrices in Abstract Algebraic Logic -- Intensional Logic — Beyond First Order -- |
Questions of Canonicity -- ?ukasiewicz Logic and Chang’s MV Algebras in Action -- Substructural Logics and Residuated Lattices — an Introduction -- Quantum Computational Logics: A Survey -- Inconsistent Arithmetics: Issues Technical | |
and Philosophical -- Inconsistency-tolerant Description Logic: Motivation and Basic Systems -- Type Logics in Grammar | |
ISBN: | 9789401735988 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 21 |
Keywords: | Philosophy , Logic , Coding theory , Mathematical logic , Philosophy , Logic , Coding and Information Theory , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401703956:ONLINE Show nearby items on shelf |
Title: | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (302 p.) |
Note: | 10.1007/978-94-017-0395-6 |
Contents: | The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy. -- An Application of Circular |
Definitions: Rational Decision -- Two-Dimensionalism and the Metaphysical Possibility of Zombies -- Topics in Reverse Mathematics -- The Logic of Intensional Predicates -- The So-Called Materially Valid Inferences and the Logic of | |
Concepts. -- Analysis and Design from a Viewpoint of Information Flow -- Features in Phonological Theory -- New Semantics for Modal Predicate Logics. -- What is Input/Output Logic? -- The Gupta-Belnap Fixed-Point Problem and the Theory | |
of Clones of Functions -- Situated Reasoning in Time about Time -- Generic Ontology of Linguistic Classification -- Techniques and Methods of Science from a Structuralist Point of View -- Proof Theory and Formal Grammars: Applications | |
of Normalization -- World Travelling and Mood Swings -- Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism -- References | |
ISBN: | 9789401703956 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 17 |
Keywords: | Philosophy , Logic , Philosophy and science , Linguistics , Philosophy , Logic , Theoretical Linguistics , Philosophy of Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401703833:ONLINE Show nearby items on shelf |
Title: | Semirings and Affine Equations over Them: Theory and Applications |
Author(s): |
Jonathan S Golan |
Date: | 2003 |
Size: | 1 online resource (241 p.) |
Note: | 10.1007/978-94-017-0383-3 |
Contents: | 1: Semirings -- 2: Partially-Ordered Semirings -- 3: Complete Semirings -- 4: Residuated Semirings -- 5: Matrix Semirings -- 6: Symmetric Extension of a Semiring -- 7: Semimodules -- 8: Homomorphisms between Semimodules -- 9: Affine |
Maps between Semimodules -- 10: Partially-ordered Semimodules -- 11: Eigenelements -- 12: Permanents and Determinants -- Index of Applications -- Index of Terminology | |
ISBN: | 9789401703833 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 556 |
Keywords: | Mathematics , Computer science , Associative rings , Rings (Algebra) , Mathematical models , Mathematical logic , Calculus of variations , Mathematics , Associative Rings and Algebras , Discrete Mathematics in Computer Science , Mathematical Modeling and Industrial Mathematics , Calculus of Variations and Optimal Control Optimization , Mathematical Logic and Foundations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401702539:ONLINE Show nearby items on shelf |
Title: | Thirty Five Years of Automating Mathematics |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (320 p.) |
Note: | 10.1007/978-94-017-0253-9 |
Contents: | A Mathematical Model for Biological Memory and Consciousness -- Towards an Interactive Mathematical Proof Mode -- Recent Results in Type Theory and their Relationship to Automath -- Linear Contexts, Sharing Functors: Techniques for |
Symbolic Computation -- De Bruijn’s Automath and Pure Type Systems -- Hoare Logic with Explicit Contexts -- Transitive Closure and the Mechanization of Mathematics -- Polymorphic Type-checking for the Ramified Theory of Types of | |
Principia Mathematica -- Termination in ACL2 using Multiset Relations -- The ?-Calculus in FM -- Proof Development with ?mega: The Irrationality of % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % | |
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaOaaaeaaca % | |
aIYaaaleqaaaaa!36CB!]] | |
ISBN: | 9789401702539 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 28 |
Keywords: | Mathematics , Computer science , Mathematical logic , Mathematical optimization , Mathematics , Mathematical Logic and Foundations , Mathematics of Computing , Optimization , Symbolic and Algebraic Manipulation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401702317:ONLINE Show nearby items on shelf |
Title: | Topological and Algebraic Structures in Fuzzy Sets A Handbook of Recent Developments in the Mathematics of Fuzzy Sets |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (470 p.) |
Note: | 10.1007/978-94-017-0231-7 |
Contents: | 1: Uniform Completion In Pointfree Topology -- 2: Monadic Convergence Structures -- 3: A Unified Approach To The Concept Of Fuzzy L-Uniform Space -- 4: Many Valued Topologies And Borel Probability Measures -- 5: Fuzzy Reals: |
Topological Results Surveyed, Brouwer Fixed Point Theorem, Open Questions -- 6: Lattice-Valued Frames, Functor Categories, And Classes of Sober Spaces -- Appendix to Chapter 6: Weakening The Requirement That L Be A Complete Chain -- 7: | |
Axiomatic Foundations For Uniform Operator Quasi-Uniformities -- 8: Fully Fuzzy Topology -- 9: Fuzzy Logics Arising From Strict De Morgan Systems -- 10: Structure Of Girard Monoids on [0,1] -- 11: On The Geometry Of Choice -- 12: On | |
Some Fuzzy Categories Related To Category L-TOP Of L-Topological Spaces -- 13: Fuzzy Compactness Via Categorical Closure Operators -- 14: Discrete Triangular Norms -- 15: Powerset Operators Based Approach To Fuzzy Topologies On Fuzzy | |
Sets -- 16: Lifting Of Sobriety Concepts With Particular Reference To (L, M)-Topological Spaces -- 17: Examples For Different Sobrieties In Fixed-Basis Topology -- 18: Additive Generators Of Non-Continuous Triangular Norms -- 19: | |
Groups, T-Norms, And Families Of De Morgan Systems | |
ISBN: | 9789401702317 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 20 |
Keywords: | Mathematics , Logic , Group theory , Algebra , Ordered algebraic structures , Geometry , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Geometry , Order, Lattices, Ordered Algebraic Structures , Group Theory and Generalizations , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789400708129:ONLINE Show nearby items on shelf |
Title: | A Guide to Classical and Modern Model Theory |
Author(s): |
Annalisa Marcja |
Date: | 2003 |
Size: | 1 online resource (371 p.) |
Note: | 10.1007/978-94-007-0812-9 |
Contents: | Structures -- 1.1 Structures -- 1.2 Sentences -- 1.3 Embeddings -- 1.4 The Compactness Theorem -- 1.5 Elementary classes and theories -- 1.6 Complete theories -- 1.7 Definable sets -- 1.8 References -- Quantifier Elimination -- 2.1 |
Elimination sets -- 2.2 Discrete linear orders -- 2.3 Dense linear orders -- 2.4 Algebraically closed fields (and Tarski) -- 2.5 Tarski again: Real closed fields -- 2.6 pp-elimination of quantifiers and modules -- 2.7 Strongly minimal | |
theories -- 2.8 o-minimal theories -- 2.9 Computational aspects of q. e -- 2.10 References -- Model Completeness -- 3.1 An introduction -- 3.2 Abraham Robinson’s test -- 3.3 Model completeness and Algebra -- 3.4 p-adic fields and | |
Artin’s Conjecture -- 3.5 Existentially closed structures -- 3.6 DCF0 -- 3.7 SCFp and DCFp -- 3.8 ACFA -- 3.9 References -- Elimination of imaginaries -- 4.1 Interpretability -- 4.2 Imaginary elements -- 4.3 Algebraically closed fields | |
-- 4.4 Real closed fields -- 4.5 The elimination of imaginaries sometimes fails -- 4.6 References -- Morley rank -- 5.1 A tale of two chapters -- 5.2 Definable sets -- 5.3 Types -- 5.4 Saturated models -- 5.5 A parenthesis: pure | |
injective modules -- 5.6 Omitting types -- 5.7 The Morley rank, at last -- 5.8 Strongly minimal sets -- 5.9 Algebraic closure and definable closure -- 5.10 References -- ? -stability -- 6.1 Totally transcendental theories -- 6.2 | |
?-stable groups -- 6.3 ?-stable fields -- 6.4 Prime models -- 6.5 DCF0 revisited -- 6.6 Ryll-Nardzewski’s Theorem, and other things -- 6.7 References -- Classifying -- 7.1 Shelah’s Classification Theory -- 7.2 Simple theories -- 7.3 | |
Stable theories -- 7.4 Superstable theories -- 7.5 ?-stable theories -- 7.6 Classifiable theories -- 7.7 Shelah’s Uniqueness Theorem -- 7.8 Morley’s Theorem -- 7.9 Biinterpretability and Zilber Conjecture -- 7.10 Two algebraic examples | |
-- 7.11 References -- Model Theory and Algebraic Geometry -- 8.1 Introduction -- 8.2 Algebraic varieties, ideals, types -- 8.3 Dimension and Morley rank -- 8.4 Morphisms and definable functions -- 8.5 Manifolds -- 8.6 Algebraic groups | |
-- 8.7 The Mordell-Lang Conjecture -- 8.8 References -- O-minimality -- 9.1 Introduction -- 9.2 The Monotonicity Theorem -- 9.3 Cells -- 9.4 Cell decomposition and other theorems -- 9.5 Their proofs -- 9.6 Definable groups in o-minimal | |
structures -- 9.7 O-minimality and Real Analysis -- 9.8 Variants on the o-minimal theme -- 9.9 No rose without thorns -- 9.10 References | |
ISBN: | 9789400708129 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 19 |
Keywords: | Philosophy , Logic , Algebra , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Algebra |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642558269:ONLINE Show nearby items on shelf |
Title: | Computer Algebra Handbook Foundations · Applications · Systems |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (637 p.) |
Note: | 10.1007/978-3-642-55826-9 |
Contents: | 1 Development, Characterization, Prospects -- 1.1 Historical Remarks -- 1.2 General Characterization -- 1.3 Impact on Education -- 1.4 Impact on Research -- 1.5 Computer Algebra — Today and Tomorrow -- 2 Topics of Computer Algebra -- |
2.1 Exact Arithmetic -- 2.2 Algorithms for Polynomials and Power Series -- 2.3 Linear Algebra -- 2.4 Constructive Methods of Number Theory -- 2.5 Algorithms of Commutative Algebra and Algebraic Geometry -- 2.6 Algorithmic Aspects of | |
the Theory of Algebras -- 2.7 Computational Group Theory -- 2.8 Algorithms of Representation Theory -- 2.9 Algebraic Methods for Constructing Discrete Structures -- 2.10 Summation and Integration -- 2.11 Symbohc Methods for | |
DiflFerential Equations -- 2.12 Symbolic/Numeric Methods -- 2.13 Algebraic Complexity Theory -- 2.14 Coding Theory and Cryptography -- 2.15 Algorithmic Methods inUniversal Algebra and Logic -- 2.16 Knowledge Representation and Abstract | |
Data Types -- 2.17 On the Design of Computer Algebra Systems -- 2.18 Parahel Computer Algebra Systems -- 2.19 Interfaces and Standardization -- 2.20 Hardware Implementation of Computer Algebra Algorithms -- 3 Applications of Computer | |
Algebra -- 3.1 Physics -- 3.2 Mathematics -- 3.3 Computer Science -- 3.4 Engineering -- 3.5 Chemistry -- 3.6 Computer Algebra in Education -- 4 Computer Algebra Systems -- 4.1 General Purpose Systems -- 4.2 Special Purpose Systems -- | |
4.3 Packages -- 5 Meetings and Publications -- 5.1 Conferences and Proceedings -- 5.2 Books on Computer Algebra -- Cited References -- Index for Authors’ Contributions | |
ISBN: | 9783642558269 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computer science , Algebra , Algorithms , Computer software , Mathematics , Mathematical Software , Algebra , Algorithms , Symbolic and Algebraic Manipulation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783540888673:ONLINE Show nearby items on shelf |
Title: | The Higher Infinite Large Cardinals in Set Theory from Their Beginnings |
Author(s): |
Akihiro Kanamori |
Date: | 2003 |
Edition: | 2 |
Size: | 1 online resource (538 p.) |
Note: | 10.1007/978-3-540-88867-3 |
Contents: | Preliminaries -- Beginnings -- Partition Properties -- Forcing and Sets of Reals -- Aspects of Measurability -- Strong Hypotheses -- Determinacy |
ISBN: | 9783540888673 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Topology , Mathematics , Mathematical Logic and Foundations , Topology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783540447610:ONLINE Show nearby items on shelf |
Title: | Set Theory |
Author(s): |
Thomas Jech |
Date: | 2003 |
Edition: | The Third Millennium Edition |
Size: | 1 online resource (772 p.) |
Note: | 10.1007/3-540-44761-X |
Contents: | Basic Set Theory -- Axioms of Set Theory -- Ordinal Numbers -- Cardinal Numbers -- Real Numbers -- The Axiom of Choice and Cardinal Arithmetic -- The Axiom of Regularity -- Filters, Ultrafilters and Boolean Algebras -- Stationary Sets |
-- Combinatorial Set Theory -- Measurable Cardinals -- Borel and Analytic Sets -- Models of Set Theory -- Advanced Set Theory -- Constructible Sets -- Forcing -- Applications of Forcing -- Iterated Forcing and Martin’s Axiom -- Large | |
Cardinals -- Large Cardinals and L -- Iterated Ultrapowers and L[U] -- Very Large Cardinals -- Large Cardinals and Forcing -- Saturated Ideals -- The Nonstationary Ideal -- The Singular Cardinal Problem -- Descriptive Set Theory -- The | |
Real Line -- Selected Topics -- Combinatorial Principles in L -- More Applications of Forcing -- More Combinatorial Set Theory -- Complete Boolean Algebras -- Proper Forcing -- More Descriptive Set Theory -- Determinacy -- Supercompact | |
Cardinals and the Real Line -- Inner Models for Large Cardinals -- Forcing and Large Cardinals -- Martin’s Maximum -- More on Stationary Sets | |
ISBN: | 9783540447610 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Return to the Fermilab Library catalog