Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD MATHEMATICAL LOGIC *END*INIT* use /tmp/qspiwww.webspi1/8222.167 QRY 131.225.70.96 . find keyword mathematical logic ( in books using www Cover
Image
Call number:9780750672917:ONLINE Show nearby items on shelf
Title:Reference data for engineers: radio, electronics, computer, and communications.
Author(s): M. E. Van Valkenburg (ed.)
Wendy Middleton (ed.)
Date:2002
Edition:9th ed.
Publisher:ScienceDirect
Size:1 online resource
Contents:Radio frequency spectrum management and time frequency standards -- International telephony recommendations -- Units, constants, and conversion factors -- Properties of materials -- Components or parts -- Fundamentals of networks -- Fourier waveform analysis -- Filters, simple bandpass design -- Filters, modern-network-theory design -- Active filter design -- Attenuators -- Measurements and analysis -- Magnetic-core transformers and reactors -- Power electronics -- rectifiers, filters, and power sup plies -- Feedback control systems -- Electron tubes -- Power grid-tube circuits -- Semiconductors and transistors -- Transistor circuits -- Integrated circuits -- Optoelectronics -- Optical communications -- Analog communications -- Digital communications -- Information theory and coding -- Computer communications networks -- Satellite and space communications -- Discrete-time signal processing -- Transmission lines -- Waveguides and resonators -- Scattering matrices -- Antennas -- Electromagnetic-wave pr opagation -- Radio noise and interference -- Broadcasting, cable television, and recording system standards -- Radar -- Radio navigation systems -- Common carrier transmission -- Switching networks and traffic concepts -- Electroacoustics -- Lasers -- Com puter organization and programming -- Logic design -- Probability and statistics -- Reliability and life testing -- Cellular telecommunications systems -- Mathematical equations -- Mathematical tables -- Miscellaneous data.
ISBN:9780750672917
Series:eBooks
Series:ScienceDirect
Keywords: Electronics. , Computer engineering. , Telecommunication.
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

Cover
Image
Call number:0470280743:ONLINE Show nearby items on shelf
Title:Mathematical Logic
Author(s): Tourlakis
Date:2008
Publisher:Wiley-Interscience
Size:1 online resource (321 p.)
ISBN:9780470280744
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Mathematics
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

Cover
Image
Call number:SPRINGER-2016-9789462392045:ONLINE Show nearby items on shelf
Title:Type Systems for Distributed Programs: Components and Sessions
Author(s): Ornela Dardha
Date:2016
Size:1 online resource (4 p.)
Note:10.2991/978-94-6239-204-5
Contents:1.Background on Components -- 2. A Type System for Components -- 3. Properties of the Type System -- 4.Background on π- Types -- 5. Background on Session Types -- 6. Session Types Revisited -- 7. Subtyping -- 8. Polymorphism -- 9.Higher-Order Comm unication -- 10.Recursion -- 11.From π- Types to Session Types -- 12. Background on π- types for Lock Freedom -- 13 Background on Session Types for Progress -- 14 Progress as Compositional Lock Freedom.
ISBN:9789462392045
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Atlantis Studies in Computing: 7
Keywords: Computer science , Mathematical logic , Computer Science , 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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2014-9789462390249:ONLINE Show nearby items on shelf
Title:Recent Progress in General Topology III [electronic resource]
Author(s): K.P Hart
J van Mill
P Simon
Date:2014
Publisher:Paris : Atlantis Press : Imprint: Atlantis Press
Size:1 online resource
Note:The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland,1992 and 2002). The boo k was prepared in connection with the Prague Topological Symposium, held in 2011. During the last 10 years the focus in General Topology changed and therefore the selection of topics differs from that chosen in2002. The following areas experienced signifi cant developments: Fractals, Coarse Geometry/Topology, Dimension Theory, Set Theoretic Topology and Dynamical Systems
Contents:Topological Homogeneity
Some Recent Progress Concerning Topology of Fractals
A biased view of topology as a tool in functional analysis
Large scale versus small scale
Descriptive aspects of Rosenthal compacta
Minimality conditions in topological groups
Set
Theoretic update on Topology
Topics in Dimension Theory
Representations of dynamical systems on Banach spaces
Generalized metrizable spaces
Permanence in Coarse Geometry
Selections and Hyperspaces
Continuum Theory
Almost disjoint families and topology
Some Topics in Geometric Topology II
Topologic
ISBN:9789462390249
Series:eBooks
Series:SpringerLink
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Topological Groups , Functional analysis , 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

Cover
Image
Call number:SPRINGER-2014-9789400775480:ONLINE Show nearby items on shelf
Title:Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work
Author(s): Luiz Carlos Pereira
Edward Hermann Haeusler
Valeria de Paiva
Date:2014
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour hisseminal research. Dag Prawit zs work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics andTheoretical Computer Science. The range of contributions includes ma terial on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of naturaldeduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), viamethods of category theory that have been successfully applied to linear logic, as well as many other contributions from h ighly regarded authorities. With an illustrious group of contributors addressing a wealth of topics andapplications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative ofthe rich and varied directions that Prawitz work has inspired in the area of natural deduction.
Contents:Chapter 1. Generalizaed elimination inferences Schroeder
Heister, Peter
Chapter 2. Revisiting Zucker's work on the Correspondence between Cut
Elimination and Normalisation Urban, Christian
Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic Joinet, Jean
Baptiste
Chapter 4. Natural Deduction for Equality: The Missing Entity de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G
Chapter 5. Proof
theoretical Conception of Logic Legris, Javier
Chapter 6. On the Structure of Natural deduction Derivations for Generally Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sh
ISBN:9789400775480
Series:eBooks
Series:SpringerLink
Series:Trends in Logic, Studia Logica Library, 1572-6126 : v39
Series:Mathematics and Statistics (Springer-11649)
Keywords: Philosophy (General) , 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

Cover
Image
Call number:SPRINGER-2014-9783764385040:ONLINE Show nearby items on shelf
Title:Kripkes Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux
Author(s): Olivier Gasquet
Andreas Herzig
Bilal Said
Franois Schwarzentruber
Date:2014
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics(alethic, temporal, epis temic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics). All these logics havebeen studied intensively in philosophical an d mathematical logic and in computer science, and have been applied increasingly in domains such as program semantics, artificial intelligence, and more recently in the semantic web.Additionally, all these logics were also studied proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the mostuniform and most successful such systems are tableaux systems. Given a logic and a formula, they al low one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building atree. This book follows a more general approach by trying to build a graph, the advantage being that a graph is closer to a Kripke model than a tree. It provides a step-by-step introduction to possible worlds semantics (and by that tomodal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC (www.irit.fr/Lotrec). L oTREC allows to check whether a given formula is true at a given world of a given model and tocheck whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implement ed in LoTREC. If this is not yet the case LoTREC offers the possibility toimplement a tableau system in a relatively easy way via a simple, graph-based, interactive language. >dy>
Contents:Preface
1 Modelling things with graphs
2 Talking about graphs
3 The basics of the model construction method
4 Logics with simple constraints on models
5 Logics with transitive accessibility relations
6 Model Checking
7 Modal logics with transitive closure
Bibliography
Index
ISBN:9783764385040
Series:eBooks
Series:SpringerLink
Series:Studies in Universal Logic
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

Cover
Image
Call number:SPRINGER-2014-9783642549595:ONLINE Show nearby items on shelf
Title:A Primer on Scientific Programming with Python [electronic resource]
Author(s): Hans Petter Langtangen
Date:2014
Edition:4th ed. 2014
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics,numerical calculus, st atistics, physics, biology and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageousto study classical and numerical one-variable c alculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of scienceand engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objectsand functions and embracing the object-oriented paradigm. Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010 Those of us who have learned scientific programming in Python on the streets could be alittle jealous of students who have the opportunity to take a course out of Langtangens Primer. John D. Cook, The Mathematical Association of Am erica, September 2011 This book goes through Python in particular, and programmingin general, via tasks that scientists will likely perform. It contains valuable informationfor students new to scientific computing and would be the perfect bridge between a n introduction to programming and an advanced course onnumerical methods or computational science. Alex Small, IEEE, CiSE Vol. 14 (2), March/April 2012
Contents:Preface
Computing with Formulas
Loops and Lists
Functions and Branching
User Input and Error Handling
Array Computing and Curve Plotting
Dictionaries and Strings
Introduction to Classes
Random Numbers and Simple Games
Object
Oriented Programming
Sequences and Difference Equations
Introduction to Discrete Calculus
Introduction to Differential Equations
A Complete Differential Equation Project
Programming of Differential Equations
Debugging
Migrating Python to Compiled Code
Technical Topics
Bibliography
Index
ISBN:9783642549595
Series:eBooks
Series:SpringerLink
Series:Texts in Computational Science and Engineering, 1611-0994 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , 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

Cover
Image
Call number:SPRINGER-2014-9783319067438:ONLINE Show nearby items on shelf
Title:Duality Theories for Boolean Algebras with Operators [electronic resource]
Author(s): Steven Givant
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:In this new text, Steven Givantthe author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarskidevelops three theories of duality for Boolean algebras with operators. Givant addressesthe two most recognized dualit ies (one algebraic and the other topological) and introduces a third duality, best understood as a hybrid of the first two. This text will be of interest to graduate students and researchers in the fieldsof mathematics, computer science, logic, and philos ophy who are interested in exploring special or general classes of Boolean algebras with operators. Readers should be familiar with the basic arithmetic and theory of Boolean algebras,as well as the fundamentals of point-set topology
Contents:1. Algebraic Duality
2. Topological Duality
3. Hybrid Duality
ISBN:9783319067438
Series:eBooks
Series:SpringerLink
Series:Springer Monographs in Mathematics, 1439-7382
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra , 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

Cover
Image
Call number:SPRINGER-2014-9783319067254:ONLINE Show nearby items on shelf
Title:Set Theory [electronic resource] : Exploring Independence and Truth
Author(s): Ralf Schindler
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of largecardinals, inner models, forcin g, and descriptive set theory. The following topics are covered: Forcing and constructability The Solovay-Shelah Theorem i.e. the equiconsistency of every set of reals is Lebesguemeasurable with one inaccessible cardinal Fine structure theory and a m odern approach to sharps Jensens Covering Lemma The equivalence of analytic determinacy with sharps The theory of extenders and iterationtrees A proof of projective determinacy from Woodin cardinals. Set Theory requires only a basic knowledge of math ematical logic and will be suitable for advanced students and researchers
Contents:Naive set theory
Axiomatic set theory
Ordinals
Cardinals
Constructability
Forcing
Descriptive set theory
Solovays model
The Raisonnier filter
Measurable cardinals
0# and Jensens Covering Lemma
Analytic and full determinacy
Projective determinacy
ISBN:9783319067254
Series:eBooks
Series:SpringerLink
Series:Universitext, 0172-5939
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

Cover
Image
Call number:SPRINGER-2014-9783319060804:ONLINE Show nearby items on shelf
Title:Recent Trends in Philosophical Logic [electronic resource]
Author(s): Roberto Ciuni
Heinrich Wansing
Caroline Willkommen
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors coverthemes such as the know ability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics. The developments presented here focus on challengingproblems in the specification of fundamental philoso phical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader inmaking connections in the specific areas covered. Thus this work provides bo th a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. Thechapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012
Contents:Chapter 1. Semantic Defectiveness: A Dissolution of Semantic Pathology Bradley Armour
Garb and James A. Woodbridge
Chapter 2. Emptiness and discharge in sequent calculus and natural deduction Michael Arndt and Luca Tranchini
Chapter 3. The Knowability Paradox in the light of a Logic for Pragmatics Massimiliano Carrara and Daniele Chi
Chapter 4. A Dialetheic Interpretation of Classical Logic Massimiliano Carrara and Enrico Martino
Chapter 5. Strongly semantic information as information about the truth Gustavo Cevolani
Chapter 6. Priest's Motorbike and Tolerant Identity Pabl
ISBN:9783319060804
Series:eBooks
Series:SpringerLink
Series:Trends in Logic, Studia Logica Library, 1572-6126 : v41
Series:Mathematics and Statistics (Springer-11649)
Keywords: Philosophy (General) , Genetic epistemology , 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

Cover
Image
Call number:SPRINGER-2014-9783319054469:ONLINE Show nearby items on shelf
Title:Perspectives in Computational Complexity [electronic resource] : The Somenath Biswas Anniversary Volume
Author(s): Manindra Agrawal
Vikraman Arvind
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Birkhuser
Size:1 online resource
Note:This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developmentsin this flourishing a rea of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower bounds and polynomial identity testing, the isomorphismconjecture, space-bounded computation, graph isomo rphism, resolution and proof complexity, entropy and randomness. Several chapters have a tutorial flavor. The aim is to make recent research in these topics accessible to graduatestudents and senior undergraduates in computer science and mathematics. It c an also be useful as a resource for teaching advanced level courses in computational complexity
Contents:Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)
3. Space Complexity of the Directed Reachability Problem Over Surface
embedded Graphs (N.V. Vinodchandran)
4. Algebraic Complexity Classes (Meena Mahajan)
5. A Selection of Lower Bound Results for Arithmetic Circuits (Neeraj Kayal and Ramprasad Saptharishi)
6. Explicit Tensors (Markus Blser)
7. Progress on Polynomial Identity Testing (Nitin Saxena)
8. Malod and the Pascaline (Bruno Poizat)
9. A Tutorial in Time and Space Bound
ISBN:9783319054469
Series:eBooks
Series:SpringerLink
Series:Progress in Computer Science and Applied Logic : v26
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

Cover
Image
Call number:SPRINGER-2014-9783319048611:ONLINE Show nearby items on shelf
Title:Janus-Faced Probability [electronic resource]
Author(s): Paolo Rocchi
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:The problem of probability interpretation was long overlooked before exploding in the 20th century, when the frequentist and subjectivist schools formalized two conflicting conceptions of probability. Beyond the radical followersof the two schools, a circle of pluralist thinkers tends to reconcile the opposing concepts. The author uses two theorems in order to prove that the various interpretations of probability do not come into opposition and can be used indifferent contexts. The goal here is to cl arify the multifold nature of probability by means of a purely mathematical approach and to show how philosophical arguments can only serve to deepen actual intellectual contrasts. The book canbe considered as one of the most important contributions in th e analysis of probability interpretation in the last 10-15 years
Contents:1 Interpretations of Probability
2 A Mathematical Approach to the Interpretation Problem
3 Probability Validation
4 About the Compatibility of Methods
5 Criticism on the Philosophical Pollution
6Some Remarks on the Argument of Probability
7Classical Modeling of the Probability Argument
8 Structural Modeling of the Probability Argument
9Mathematical Definitions of Probability on the Basis of the Structural Model
10 Exploring into the Essence of Events.
ISBN:9783319048611
Series:eBooks
Series:SpringerLink
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic, Symbolic and mathematical , 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

Cover
Image
Call number:SPRINGER-2014-9783319047478:ONLINE Show nearby items on shelf
Title:A Cp-Theory Problem Book [electronic resource] : Special Features of Function Spaces
Author(s): Vladimir V Tkachuk
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:The books in Vladimir Tkachuks A Cp-Theory Problem Book series will be the go to texts for basic reference to Cp-theory. This second volume, Special Features of Function Spaces, gives a reasonably complete coverage ofCp-theory, systematically introdu cing each of the major topics and providing 500 carefully selected problems and exercises with complete solutions. Bonus results and open problems are also given. The text is designed to bring adedicated reader from basic topological principles to the fro ntiers of modern research covering a wide variety oftopics in Cp-theory and general topology at the professional level. The first volume, Topological and Function Spaces 2011, provided an introduction from scratch to Cp-theory and general topology, prepar ing the reader for a professional understanding of Cp-theory in the last section of its main text. This second volume continues from the first, andcan be used as a textbook for courses in both Cp-theory and general topology as well as a reference guide fo r specialists working in Cp-theory and related topics. Additionally, the material can also be considered as an introductionto advanced set theory and descriptive set theory, presenting diverse topics of the theory of function spaces with the topology of p ointwise convergence, or Cp-theory which exists at the intersection of topological algebra, functionalanalysis and general topology. From the Reviews of Topological and Function Spaces: It is designed to bring a dedicated reader from the basic topological principles to the frontiers of modern research. Any reasonable course incalculus covers everything needed to understand this book. This volume can also be used as a reference for mathematicians working in or outside the field of topology (functional anal ysis) wanting to use results or methods ofCp-theory...On the whole, the book provides a useful addition to the literature on Cp-theory, especially at the instructional level. (Ma
Contents:Detailed Summary of Exercise Sections
Preface
Introduction
1. Duality Theorems and Properties of Function Spaces
2. Solutions of Problems 001
500
3. Bonus Results: Some Hidden statements
4. Open Problems
Bibliography
List of Special Symbols
Index
ISBN:9783319047478
Series:eBooks
Series:SpringerLink
Series:Problem Books in Mathematics, 0941-3502
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Functional analysis , 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

Cover
Image
Call number:SPRINGER-2014-9783319015897:ONLINE Show nearby items on shelf
Title:Non-commutative Multiple-Valued Logic Algebras [electronic resource]
Author(s): Lavinia Corina Ciungu
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras a subject which has attracted much interest in the past few years because of its impact on informationscience, artificial intelli gence and other subjects. A study of the newest results in the field, the monograph includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices,pseudo-MTL algebras, pseudo-BL algebras and pseudo-MV algebras. It provides a fresh perspective on new trends in logic and algebrasin thatalgebraic structures can be developed into fuzzy logics which connect quantum mechanics,mathematical logic, probability theory, algebra and soft computing. Written in a c lear, concise and direct manner, Non-Commutative Multiple-Valued Logic Algebras will be of interest to masters and PhD students, as well asresearchers in mathematical logic and theoretical computer science
Contents:Pseudo
BCK algebras
Pseudo
hoops
Residuated lattices
Other non
commutative multiple
valued logic algebras
Classes of non
commutative residuated structures
States on multiple
valued logic algebras
Measures on pseudo
BCK algebras
Generalized states on residuated structures
Pseudo
hoops with internal states
ISBN:9783319015897
Series:eBooks
Series:SpringerLink
Series:Springer Monographs in Mathematics, 1439-7382
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra , Logic, Symbolic and mathematical , 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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2014-9783034808316:ONLINE Show nearby items on shelf
Title:The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland [electronic resource]
Author(s): Roman Murawski
Date:2014
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period inthe history of Polish sc ience, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophicalreflection. We try to answer those questions by an alyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polishscientists will be analyzed: Wacaw Sierpiski, Zygmunt Janiszewski, Stef an Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy ylisk and Leon Chwistek, Jan ukasiewicz, Zygmunt Zawirski, Stanisaw Leniewski, TadeuszKotarbiski, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszyski, Stanisaw Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we considerin Chapter 1 some predecessors, in particular: Jan niadecki, Jzef Maria Hoene-Wroski, Samuel Dickstein and Edward Stamm
Contents:Introduction
Predecessors
The Polish School of Mathematics
Lvov
Warsaw School of Philosophy
Benedykt Bornstein
Cracow Centre
Conclusion
Biographical Notes
Bibliography
Index of Names
ISBN:9783034808316
Series:eBooks
Series:SpringerLink
Series:Science Networks. Historical Studies, 1421-6329 : v48
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Philosophy (General) , 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

Cover
Image
Call number:SPRINGER-2014-9783034807302:ONLINE Show nearby items on shelf
Title:Cardinal Invariants on Boolean Algebras [electronic resource] : Second Revised Edition
Author(s): J. Donald Monk
Date:2014
Edition:2nd ed. 2014
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:This book is concerned with cardinal number valued functions defined for any Boolean algebra. Examples of such functions are independence, which assigns to each Boolean algebra the supremum of the cardinalities of its freesubalgebras, and cellularity , which gives the supremum of cardinalities of sets of pairwise disjoint elements. Twenty-one such functions are studied in detail, and many more in passing. The questions considered are the behaviour ofthese functions under algebraic operations such as p roducts, free products, ultraproducts, and their relationships to one another. Assuming familiarity with only the basics of Boolean algebras and set theory, through simple infinitecombinatorics and forcing, the book reviews current knowledge about these f unctions, giving complete proofs for most facts. A special feature of the book is the attention given to open problems, of which 185 are formulated. Based onCardinal Functions on Boolean Algebras (1990) and Cardinal Invariants on Boolean Algebras (1996) b y the same author, the present work is much larger than either of these. It contains solutions to many of the open problems of theearlier volumes. Among the new topics are continuum cardinals on Boolean algebras, with a lengthy treatment of the reaping nu mber. Diagrams at the end of the book summarize the relationships between the functions for many importantclasses of Boolean algebras, including interval algebras, tree algebras and superatomic algebras
Contents:Introduction
1. Special Operations on Boolean Algebras
2. Special Classes of Boolean Algebras
3. Cellularity
4. Depth
5. Topological Density
6. Pi
Weight
7. Length
8. Irredundance
9. Cardinality
10. Independence
11. Pi
Character
12. Tightness
13. Spread
14. Character
15. Hereditary Lindelf Degree
16. Hereditary Density
17. Incomparability
18. Hereditary Cofinality
19. Number of Ultrafilters
20. Number of Automorphisms
21. Number of Endomorphisms
22. Number of Ideals
23. Number of Subalgebras
24. Other Cardinal Functions
ISBN:9783034807302
Series:eBooks
Series:SpringerLink
Series:Progress in Mathematics, 0743-1643 : v142
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra , 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

Cover
Image
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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2013-9783642331497:ONLINE Show nearby items on shelf
Title:Stochastic Calculus with Infinitesimals [electronic resource]
Author(s): Frederik Herzberg
Date:2013
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry. It also has numerous applications in the natural and social sciences(for instance in financia l mathematics or theoretical quantum mechanics) and therefore appears in physics and economics curricula as well. However, existing approaches to stochastic analysis either presuppose various concepts frommeasure theory and functional analysis or lack ful l mathematical rigour. This short book proposes to solve the dilemma: By adopting E. Nelson's radically elementary theory of continuous-time stochastic processes, it is based on ademonstrably consistent use of infinitesimals and thus permits a radically s implified, yet perfectly rigorous approach to stochastic calculus and its fascinating applications, some of which (notably the Black-Scholes theory of optionpricing and the Feynman path integral) are also discussed in the book
Note:Springer eBooks
Contents:1 Infinitesimal calculus, consistently and accessibly
2 Radically elementary probability theory
3 Radically elementary stochastic integrals
4 The radically elementary Girsanov theorem and the diffusion invariance principle
5 Excursion to nancial economics: A radically elementary approach to the fundamental theorems of asset pricing
6 Excursion to financial engineering: Volatility invariance in the Black
Scholes model
7 A radically elementary theory of It diffusions and associated partial differential equations
8 Excursion to mathematical physics: A radically elementary d
ISBN:9783642331497
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Mathematics, 0075-8434 : v2067
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic, Symbolic and mathematical , 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

Cover
Image
Call number:SPRINGER-2013-9783540708568:ONLINE Show nearby items on shelf
Title:Ernst Zermelo - Collected Works/Gesammelte Werke II [electronic resource] : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author(s): Ernst Zermelo
Heinz-Dieter Ebbinghaus
Akihiro Kanamori
Date:2013
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Springer eBooks
ISBN:9783540708568
Series:e-books
Series:SpringerLink (Online service)
Series:Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften : v23
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Science History , Philosophy (General) , 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

Cover
Image
Call number:SPRINGER-2013-9783319015774:ONLINE Show nearby items on shelf
Title:The Real Numbers [electronic resource] An Introduction to Set Theory and Analysis
Author(s): John Stillwell
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:While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light. Analysis needs the real numbersto model the line, an d to support the concepts of continuity and measure. But these seemingly simple requirements lead to deep issues of set theoryuncountability, the axiom of choice, and large cardinals. In fact, virtually all theconcepts of infinite set theory are needed fo r a proper understanding of the real numbers, and hence of analysis itself. By focusing on the set-theoretic aspects of analysis, this text makes the best of two worlds: it combines adown-to-earth introduction to set theory with an exposition of the essen ce of analysisthe study of infinite processes on the real numbers. It is intended for senior undergraduates, but it will also be attractive to graduate studentsand professional mathematicians who, until now, have been content to assume the real numbers. I ts prerequisites are calculus and basic mathematics. Mathematical history is woven into the text, explaining how the concepts of realnumber and infinity developed to meet the needs of analysis from ancient times to the late twentieth century. This rich pr esentation of history, along with a background of proofs, examples, exercises, and explanatory remarks, will helpmotivate the reader. The material covered includes classic topics from both set theory and real analysis courses, such as countable and uncoun table sets, countable ordinals, the continuum problem, the CantorSchrderBernsteintheorem, continuous functions, uniform convergence, Zorn's lemma, Borel sets, Baire functions, Lebesgue measure, and Riemann integrable functions
Note:Springer eBooks
Contents:The Fundamental Questions
From Discrete to Continuous
Infinite Sets
Functions and Limits
Open Sets and Continuity
Ordinals
The Axiom of Choice
Borel Sets
Measure Theory
Reflections
Bibliography
Index
ISBN:9783319015774
Series:e-books
Series:SpringerLink (Online service)
Series:Undergraduate Texts in Mathematics, 0172-6056
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

Cover
Image
Call number:SPRINGER-2013-9783319013336:ONLINE Show nearby items on shelf
Title:The Mathematics of Coordinated Inference [electronic resource] A Study of Generalized Hat Problems
Author(s): Christopher S Hardin
Alan D Taylor
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:Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their headseach hat is either red or green. The two prisoners must simultaneouslysubmit a guess oftheir own hat color, and th ey both go free if atleast one of them guesses correctly. While no communication is allowedonce the hats have been placed, they will, however, be allowed to havea strategy session before being broughtto the room. Is there astrategy ensuring their release? The answer turns out to be yes, and this is the simplest non-trivial example of a hat problem. This book deals with the question of how successfully one can predict thevalue of an arbitrary function at one or more points of its domainbased on some knowle dge of its values at other points. Topics rangefrom hat problems that are accessible to everyone willing to thinkhard, to some advanced topicsin set theory and infinitarycombinatorics. For example, there is a method of predicting the valuef(a) of a functi on f mapping the reals to the reals, based only onknowledge of f's values on the open interval (a 1, a), and foreverysuch function the prediction is incorrect only on a countable set that is nowhere dense. The monograph progresses from topics requiring f ewer prerequisites to those requiring more, with most of the text being accessible to anygraduate student in mathematics. The broad range of readership includes researchers, postdocs, and graduate students in the fields of set theory, mathematical logic, and combinatorics, The hope is that this book will bring togethermathematicians from different areas to think about set theory via a very broad array of coordinated inference problems
Note:Springer eBooks
Contents:1. Introduction
2. The Finite Setting
3. The Denumerable Setting: Full Visibility
4. The Denumerable Setting: One
Way Visibility
5. Dual Hat Problems and the Uncountable
6. Galvin's Setting: Neutral and Anonymous Predictors
7. The Topological Setting
8. Universality of the
Predictor
9. Generalizations and Galois
Tukey Connections
Bibliography
Index
ISBN:9783319013336
Series:e-books
Series:SpringerLink (Online service)
Series:Developments in Mathematics, 1389-2177 : v33
Series:Mathematics and Statistics (Springer-11649)
Keywords: 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

Cover
Image
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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2013-9783034806091:ONLINE Show nearby items on shelf
Title:Towards a General Theory of Classifications [electronic resource]
Author(s): Daniel Parrochia
Pierre Neuville
Date:2013
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind ofthem: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or non-overlapping, finite or infinite, and so on, establishing a basis for all possible divisions of the real world. For the moment, such a theory remains nothingbut a dream. Instead, the authors essentia lly put forward a number of key questions. Their aim is rather to reveal the state of art of this dynamic field and the philosophy one may eventually adopt to go further. To this end theypresent some advances made in the course of the last century, discus s a few tricky problems that remain to be solved, and show the avenues open to those who no longer wish to stay on the wrong track. Researchers and professionalsinterested in the epistemology and philosophy of science, library science, logic and set theor y, order theory or cluster analysis will find this book a comprehensive, original and progressive introduction to the main questions in thisfield
Note:Springer eBooks
Contents:Foreword
1 Philosophical problems
2 Information data structures
3 Empirical Clustering and classic hierarchies
4 Algebra of trees
5 Generalized Classifications
6 Topology of generalized classifications
7 Meta
classification
8 For an axiomatic theory of classifications
9 Alternative theories and higher infinite
10 Postscript
Bibliography.
ISBN:9783034806091
Series:e-books
Series:SpringerLink (Online service)
Series:Studies in Universal Logic
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Information storage and retrieval systems , Algebra , 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

Cover
Image
Call number:SPRINGER-2013-9783034806008:ONLINE Show nearby items on shelf
Title:Visual Reasoning with Diagrams [electronic resource]
Author(s): Amirouche Moktefi
Sun-Joo Shin
Date:2013
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use ofdiagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell.Recently, we have been witnessing a reviva l of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic -the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning
Note:Springer eBooks
Contents:Preface
1.What is a logical diagram? (Catherine Legg)
2.The geometry of diagrams and the logic of syllogisms (Richard Bosley)
3.A diagrammatic calculus of syllogisms (Ruggero Pagnan)
4.Beyond syllogisms: Carrolls (marked) quadriliteral diagram (Amirouche Moktefi)
5.A diagrammatic bridge between classical and fuzzy logics(Ferdinando Cavaliere)
6.Diagrammatic reasoning with Classes and relationships (Jrgen Fischer Nilsson)
7.On the completeness of spider diagrams augmented with constants (Gem Stapleton, John Howse, Simon Thompson, John Taylor and Peter C
ISBN:9783034806008
Series:e-books
Series:SpringerLink (Online service)
Series:Studies in Universal Logic
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Visualization , 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

Cover
Image
Call number:SPRINGER-2013-9781461473817:ONLINE Show nearby items on shelf
Title:Business Statistics for Competitive Advantage with Excel 2013 [electronic resource] : Basics, Model Building, Simulation and Cases
Author(s): Cynthia Fraser
Date:2013
Edition:3rd ed. 2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Exceptional managers know that they can create competitive advantages by basing decisions on performance response under alternative scenarios. To create these advantages, managers need to understand how to use statistics toprovide information on perf ormance response under alternative scenarios. This updated edition ofthe populartext helps business students develop competitive advantages for use in their future careers as decision makers. Studentslearn to build models using logic and experience, produ ce statistics using Excel 2013 with shortcuts, and translate results into implications for decision makers. The author emphasizes communicating results effectively in plain Englishand with compelling graphics in the form of memos and PowerPoints. Statisti cs, from basics to sophisticated models, are illustrated with examples using real data such as students will encounter in their roles as managers. A number ofexamples focus on business in emerging global markets with particular emphasis on emerging market s in Latin America, China and India. Results are linked to implications for decision making with sensitivity analyses to illustrate howalternate scenarios can be compared. Chapters include screenshots to make it easy to conduct analyses in Excel 2013 with time-saving shortcuts expected in the business world. PivotTables and PivotCharts, used frequently in businesses,are introduced from the start. The Third Edition features Monte Carlo simulation in three chapters, as a tool to illustrate the range of poss ible outcomes from decision makers assumptions and underlying uncertainties. Model buildingwith regression is presented as a process, adding levels of sophistication, with chapters on multicollinearity and remedies, forecasting and model validation, autoc orrelation and remedies, indicator variables to represent segmentdifferences, and seasonality, structural shifts or shocks in time series models. Special applications in market segmentation a
Note:Springer eBooks
Contents:Statistics for Decision Making and Competitive Advantage
Describing Your Data Chapter
Hypothesis Tests, Confidence Intervals, and Simulation to Infer Population Characteristics and Differences
Quantifying the Influence of Performance Drivers and Forecasting: Regression
Market Simulation and Segmentation with Descriptive Statistics, Inference, Hypothesis Tests, and Regression
Finance Application: Portfolio Analysis with a Market Index as a Leading Indicator in Simple Linear Regression
Association between Two Categorical Variables: Contingency Analysis with Chi Square
Buildi
ISBN:9781461473817
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Mathematical statistics , Economics Statistics , Economics
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

Cover
Image
Call number:SPRINGER-2013-9781461472544:ONLINE Show nearby items on shelf
Title:The Mathematics of Paul Erds II [electronic resource]
Author(s): Ronald L Graham
Jaroslav Neetil
Steve Butler
Date:2013
Edition:2nd ed. 2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This is the most comprehensive survey of the mathematical life of the legendary Paul Erds (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the main areas of Erds'research are covered in a single project. Because of overwhelming response from the mathematical community, the project now occupies over 1000 pages, arranged into two volumes. These volumes contain both high level research articles aswell as key articles that survey some of the cornerst ones of Erds' work, each written by a leading world specialist in the field. A special chapter Early Days, rare photographs, and art related to Erds complement this strikingcollection. A unique contribution is the bibliography on Erds' publications: the m ost comprehensive ever published. This new edition, dedicated to the 100th anniversary of Paul Erds' birth, contains updates on many of the articlesfrom the two volumes of the first edition, several new articles from prominent mathematicians, a new introd uction, and more biographical information about Paul Erds with an updated list of publications. The second volume containschapters on graph theory and combinatorics, extremal and Ramsey theory, and a section on infinity that covers Erds' research on set t heory. All of these chapters are essentially updated, particularly the extremal theory chapter thatcontains a survey of flag algebras, a new technique for solving extremal problems
Note:Springer eBooks
Contents:VOLUME II
Part I Combinatorics and Graph Theory
Introduction
Reconstruction Problems for Digraphs
Neighborly Families of Boxes and Bipartite Coverings
On the Isolation of a Common Secret
Properties of Graded Posets Preserved by Some Operations
The Dimension of Random Graph Orders
Hereditary and Monotone Properties of Graphs
Cycles and Paths in Triangle
Free Graphs
Problems in Graph Theory from Memphis
Some Remarks on the Cycle Plus Triangles Problem
Intersection Representations of the Complete Bipartite Graph
Reflections on a Problem of Erds and Hajnal
ISBN:9781461472544
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Combinatorics , 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

Cover
Image
Call number:SPRINGER-2013-9781461466369:ONLINE Show nearby items on shelf
Title:An Invitation to Abstract Mathematics [electronic resource]
Author(s): Bla Bajnok
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This undergraduate textbook is intended primarily for a transition course into higher mathematics, although it is written with a broader audience in mind. The heart and soul of this book is problem solving, where each problemis carefully chosen to cl arify a concept, demonstrate a technique, or to enthuse. The exercises require relatively extensive arguments, creative approaches, or both, thus providing motivation for the reader. With a unified approachto a diverse collection of topics, this text poin ts out connections, similarities, and differences among subjects whenever possible. This book shows students that mathematics is a vibrant and dynamic human enterprise by includinghistorical perspectives and notes on the giants of mathematics, by mentioni ng current activity in the mathematical community, and by discussing many famous and less well-known questions that remain open for future mathematicians.Ideally, this text should be used for a two semester course, where the first course has no prerequisi tes and the second is a more challenging course for math majors yet, the flexible structure of the book allows it to be used in avariety of settings, including as a source of various independent-study and research projects
Note:Springer eBooks
Contents:Preface to Instructors
Preface to Students
Acknowledgments
I What's Mathematics
1 Let's Play a Game!
2 What's the Name of the Game?
3 How to Make a Statement?
4 What's True in Mathematics?
5 Famous Classical Theorems
6 Recent Progress in Mathematics
II How to Solve It?
7 Let's be Logical!
8 Setting Examples
9 Quantifier Mechanics
10 Mathematical Structures
11 Working in the Fields (and Other Structures)
12 Universal Proofs
13 The Domino Effect
14 More Domino Games
15 Existential Proofs
16 A Cornucopia of Famous Problems
III Advanced
ISBN:9781461466369
Series:e-books
Series:SpringerLink (Online service)
Series:Undergraduate Texts in Mathematics, 0172-6056
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

Cover
Image
Call number:SPRINGER-2013-9781461457466:ONLINE Show nearby items on shelf
Title:A Course on Mathematical Logic [electronic resource]
Author(s): Shashi Mohan Srivastava
Date:2013
Edition:2nd ed. 2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted withlogic and would like to learn Gdels incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related tofoundations and computability, such as logic, axiomati c set theory, model theory, recursion theory, and computability. In this new edition, many small and large changes have been made throughout the text. The main purpose of this newedition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types tomodel theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new editionalso introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, hom ogeneous structures, definability, and many more. Review from the first edition: All results includedin the book are very carefully selected and proved. The authors manner of writing is excellent, which will surely make this book useful to many categories of readers. --Marius Tarnauceanu, Zentralblatt MATH
Note:Springer eBooks
Contents:Preface
1 Syntax of First
Order Logic
2 Semantics of First
Order Languages
3 Propositional Logic
4 Completeness Theorem for First
Order Logic
5 Model Theory
6 Recursive Functions and Arithmetization of Theories
7 Incompleteness Theorems and Recursion Theory
References
Index
ISBN:9781461457466
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext, 0172-5939
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Algebra , 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

Cover
Image
Call number:SPRINGER-2013-9781461436317:ONLINE Show nearby items on shelf
Title:A Logical Introduction to Proof [electronic resource]
Author(s): Daniel W Cunningham
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or bridge course between calculus and advanced mathematics courses. Theauthors approach prepares the student for the rigors required in future mathematics courses and is appropriate for majors in mathematics, computer science, engineering, as well as other applied mathematical sciences. It may alsobe beneficial as a supplement for students at the graduate level who need guidance or reference for writing proofs. Core topics covered are logic, sets, relations, functions, and induction, where logic is the instrument foranalyzing the structure of mathematical assertions and is a tool for composing mathematical proof s. Exercises are given at the end of each section within a chapter. Chapter 1 focuses on propositional logic while Chapter 2 is devoted tothe logic of quantifiers. Chapter 3 methodically presents the key strategies that are used in mathematical proofs eac h presented as a proof diagram. Every proof strategy is carefully illustrated by a variety of mathematical theoremsconcerning the natural, rational, and real numbers. Chapter 4 focuses on mathematical induction and concludes with a proof of the fundamenta l theorem of arithmetic. Chapters 5 through 7 introduce students to the essential concepts thatappear in all branches of mathematics. Chapter 8 introduces the basic structures of abstract algebra: groups, rings, quotient groups, and quotient rings. Finall y, Chapter 9 presents proof strategies that explicitly show students how todeal with the fundamental definitions that they will encounter in real analysis, followed by numerous examples of proofs that use these strategies. The appendix provides a useful s ummary of strategies for dealing with proofs
Note:Springer eBooks
Contents:Preface
The Greek Alphabet
1. Propositional Logic
2. Predicate Logic
3. Proof Strategies and Diagrams
4. Mathematical Induction
5. Set Theory
6. Functions
7. Relations
8. Core Concepts in Abstract Algebra
9. Core Concepts in Real Analysis
A Summary of Strategies
References
List of Symbols. Index
ISBN:9781461436317
Series:e-books
Series:SpringerLink (Online service)
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

Cover
Image
Call number:SPRINGER-2013-9781447146162:ONLINE Show nearby items on shelf
Title:L.E.J. Brouwer Topologist, Intuitionist, Philosopher [electronic resource] : How Mathematics Is Rooted in Life
Author(s): Dirk Dalen
Date:2013
Publisher:London : Springer London : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Dirk van Dalens biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius complex and often controversial andgiftedwith a deep intuition, he ha d an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famousBrouwer fixed point theorem. Brouwers main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name intuitionism. This made him one of themain protagonists in the foundation crisis of mathematics. As a confirmed internation alist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during thetwentieth century was turbulent nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role.The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and any body interested in the history of mathematics in the first half of the twentieth century
Note:Springer eBooks
Contents:Child and Student
Mathematics and Mysticism
The Dissertation
Cantor
Schoenflies Topology
The New Topology
Making a Career
The War Years
Mathematics after the War
Politics and Mathematics
The Breakthrough
The Fathers of Dimension
Progress, Recognition, and Frictions
From Berlin to Vienna
The Three Battles
The Thirties
War and Occupation
Post
War Events
The Restless Emeritus
ISBN:9781447146162
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: 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

Cover
Image
Call number:SPRINGER-2013-9781447145585:ONLINE Show nearby items on shelf
Title:Logic and Structure [electronic resource]
Author(s): Dirk Dalen
Date:2013
Edition:5th ed. 2013
Publisher:London : Springer London : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Dirk van Dalens popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gdels famous incompletenesstheorem. Propositional and predicat e logic are presented in an easy-to-read style using Gentzens natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness,Skolem-Lwenheim, non-standard models and quantifier elimination. The discuss ion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods andprinciples, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructi ve features, such as apartness and equality, the Gdel translation, the disjunction and existence property are also included.The last chapter on Gdel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary rec ursion theory. This new edition has been properly revised and contains a new section onultra-products
Note:Springer eBooks
Contents:Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalization
Gdel's theorem
ISBN:9781447145585
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext, 0172-5939
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

Cover
Image
Call number:SPRINGER-2012-9788847026100:ONLINE Show nearby items on shelf
Title:Non solo calcoli [electronic resource] : Domande e risposte sui perch della matematica
Author(s): Vinicio Villani
Claudio Bernardi
Sergio Zoccante
Roberto Porcaro
Date:2012
Publisher:Milano : Springer Milan : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Nell'infanzia si pongono i classici interrogativi con tanti perch?. Purtroppo poi, nel corso dell'educazione matematica, la curiosit diminuisce e spesso ci si accontenta di chiedere come si fa?. Questo libro dedicato ai perch della logica e teoria de gli insiemi, dell'analisi matematica, della probabilit e statistica. Si completano cos gli argomenti di matematica insegnati a scuola, dopo i precedenti testi di V. Villani sui perchdellalgebra e geometria. Il titolo contiene un messaggio. In logica si af fronta il calcolo delle proposizioni, lanalisi matematica nota anche col nome di calcolo, la probabilit detta calcolo delle probabilit. In tutti etre i casi si potrebbe focalizzare lattenzione sulla parola calcolo. Ma questo riduttivo: il calcolo una componente importante, ma altrettanto importante la comprensione critica di tutto ci che sta alla base dei calcoli.Il libro rivolto a chi insegna matematica e a tutte le persone che hanno conservato una genuina curiosit scientifica.
Note:Springer eBooks
Contents:Logica e Teoria degli insiemi
Analisi matematica
Probabilit e Statistica
ISBN:9788847026100
Series:e-books
Series:SpringerLink (Online service)
Series:Convergenze
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Global analysis (Mathematics) , Logic, Symbolic and 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

Cover
Image
Call number:SPRINGER-2012-9788847023611:ONLINE Show nearby items on shelf
Title:Logic: A Brief Course [electronic resource]
Author(s): Daniele Mundici
Date:2012
Publisher:Milano : Springer Milan : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gdel's completeness theorem and its main consequences isgiven using Robinson's c ompleteness theorem and Gdel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logicalequivalence and consequence relation, the Davis-Putna m procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphicobjects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book alsointeresting to a wide range of students of philosophy and linguistics
Note:Springer eBooks
Contents:Introduction
Fundamental Logical Notions
The Resolution Method
Robinson Completeness Theorem
Fast Classes for DPP
Godel Compactness Theorem
Propositional Logic: Syntax
Propositional Logic: Semantics
Normal Forms
Recap: Expressivity and Efficiency
The Quantifiers There Exists and For All
Syntax of Predicate Logic
The Meaning of Clauses
Godel Completeness Theorem for the Logic of Clauses
Equality Axioms
The Predicate Logic L
ISBN:9788847023611
Series:e-books
Series:SpringerLink (Online service)
Series:UNITEXT, 2038-5714
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Logic, Symbolic and mathematical , Semantics
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

Cover
Image
Call number:SPRINGER-2012-9783642278754:ONLINE Show nearby items on shelf
Title:Sparsity [electronic resource] : Graphs, Structures, and Algorithms
Author(s): Jaroslav Neetil
Patrice Ossona de Mendez
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This is the first book devoted to the systematic study of sparse graphs and sparse finite structures. Although the notion of sparsity appears in various contexts and is a typical example of a hard to define notion, the authorsdevised an unifying clas sification of general classes of structures. This approach is very robust and it has many remarkable properties. For example the classification is expressible in many different ways involving most extremalcombinatorial invariants. This study of sparse str uctures found applications in such diverse areas as algorithmic graph theory, complexity of algorithms, property testing, descriptive complexity and mathematical logic (homomorphismpreservation,fixed parameter tractability and constraint satisfaction prob lems). It should be stressed that despite of its generality this approach leads to linear (and nearly linear) algorithms. Jaroslav Neetil is a professor atCharles University, Prague Patrice Ossona de Mendez is a CNRS researcher et EHESS, Paris. This book is related to the material presented by the first author at ICM 2010
Note:Springer eBooks
Contents:Part I Presentation: 1. Introduction
2. A Few Problems
3. Commented Contents
Part II. The Theory: 4. Prolegomena
5. Measuring Sparsity
6. Classes and their Classification
7. Bounded Height Trees and Tree
Depth
8. Decomposition
9. Independence
10. First
Order Constraint Satisfaction Problems and Homomorphism Dualities
11. Restricted Homomorphism Dualities
12. Counting
13. Back to Classes
Part III Applications: 14. Classes with Bounded Expansion Examples
15. Property Testing, Hyperfiniteness and Separators
16. Algorithmic Applications
17. Other
ISBN:9783642278754
Series:e-books
Series:SpringerLink (Online service)
Series:Algorithms and Combinatorics, 0937-5511 : v28
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer software , Computational complexity , Combinatorics , Discrete groups , 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

Cover
Image
Call number:SPRINGER-2012-9783642109324:ONLINE Show nearby items on shelf
Title:Teoria algebrica dei meccanismi automatici [electronic resource]
Author(s): R Righi
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:H. Soubies-Camy: Lalgbre logique applique aux techniques binaires, I parte: lezioni.- H. Soubies-Camy: Lalgbre logique applique aux techniques binaires, II parte: disegni.- J. Piesch: Switching Algebra.- J.P. Roth: Unateoria per la progettazione logi ca dei Meccanismi Automatici
Note:Springer eBooks
Contents:H. Soubies
Camy: Lalgbre logique applique aux techniques binaires, I parte: lezioni
H. Soubies
Camy: Lalgbre logique applique aux techniques binaires, II parte: disegni
J. Piesch: Switching Algebra
J.P. Roth: Una teoria per la progettazione logica dei Meccanismi Automatici
ISBN:9783642109324
Series:e-books
Series:SpringerLink (Online service)
Series:C.I.M.E. Summer Schools : v19
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Visualization , 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

Cover
Image
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

Cover
Image
Call number:SPRINGER-2012-9781461442653:ONLINE Show nearby items on shelf
Title:Introduction to Mathematical Structures and Proofs [electronic resource]
Author(s): Larry J Gerstein
Date:2012
Edition:2nd ed. 2012
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:As a student moves from basic calculus courses into upper-division courses in linear and abstract algebra, real and complex analysis, number theory, topology, and so on, a bridge course can help ensure a smooth transition.Introduction to Mathematical Structures and Proofs is a textbook intended for such a course, or for self-study. This book introduces an array of fundamental mathematical structures. It also explores the delicate balance of intuitionand rigorand the flexible thinkingrequired to prove a nontrivial result. In short, this book seeks to enhance the mathematical maturity of the reader. The new material in this second edition includes a section on graphtheory, several new sections on number theory (including primitive roots, with an appli cation to card-shuffling), and a brief introduction to the complex numbers (including a section on the arithmetic of the Gaussian integers). Froma review of the first edition: ...Gerstein wantsvery gentlyto teach his students to think. He wants to show t hem how to wrestle with a problem (one that is more sophisticated than plug and chug), how to build a solution,and ultimately he wants to teach the students to take a statement and develop a way to prove it...Gerstein writes with a certain flair that I th ink students will find appealing. ...I am confident that a student who works throughGerstein's book will really come away with (i) some mathematical technique, and (ii) some mathematical knowledge. Gersteins book states quite plainly that the text is desi gned for use in a transitions course. Nothing benefits atextbook author more than having his goals clearly in mind, and Gersteins book achieves its goals. I would be happy to use it in a transitions course. Steven Krantz, American Mathematical Monthly
Note:Springer eBooks
Contents:Preface to the Second Edition
Preface to the First Edition
1. Logic
2. Sets
3. Functions
4. Finite and Infinite Sets
5. Combinatorics
6. Number Theory
7. Complex Numbers
Hints and Partial Solutions to Selected Odd
Numbered Exercises
Index
ISBN:9781461442653
Series:e-books
Series:SpringerLink (Online service)
Series:Undergraduate Texts in Mathematics, 0172-6056
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Combinatorics , 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

Cover
Image
Call number:SPRINGER-2012-9781461440420:ONLINE Show nearby items on shelf
Title:Lecture Notes on O-Minimal Structures and Real Analytic Geometry [electronic resource]
Author(s): Chris Miller
Jean-Philippe Rolin
Patrick Speissegger
Date:2012
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This volume was produced in conjunction with the Thematic Program in o-Minimal Structures and Real Analytic Geometry, held from January to June of 2009 at the Fields Institute. Five of the six contributions consist of notes fromgraduate courses assoc iated with the program: Felipe Cano on a new proof of resolution of singularities for planar analytic vector fields Chris Miller on o-minimality and Hardy fields Jean-Philippe Rolin on the construction ofo-minimal structures from quasianalytic classes Fer nando Sanz on non-oscillatory trajectories of vector fields and Patrick Speissegger on pfaffian sets. The sixth contribution, by Antongiulio Fornasiero and Tamara Servi, is anadaptation to the nonstandard setting of A.J. Wilkie's construction of o-minimal structures from infinitely differentiable functions. Most of this material is either unavailable elsewhere or spread across many different sources such asresearch papers, conference proceedings and PhD theses. This book will be a useful tool for graduate students or researchers from related fields who want to learn about expansions of o-minimal structures by solutions, or imagesthereof, of definable systems of differential equations
Note:Springer eBooks
Contents:Preface
Blowings
up of Vector Fields (F. Cano)
Basics of o
Minimality and Hardy Fields (C. Miller)
Construction of o
Minimal Structures from Quasianalytic Classes (J
P. Rolin)
Course on Non
Oscillatory Trajectories
F.S. Snchez)
Pfaffian Sets and o
Minimality (P. Speissegger)
Theorems of the Complement (A. Fornasiero, T. Servi)
ISBN:9781461440420
Series:e-books
Series:SpringerLink (Online service)
Series:Fields Institute Communications, 1069-5265 : v62
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra , Group theory , 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

Cover
Image
Call number:SPRINGER-2012-9781447121732:ONLINE Show nearby items on shelf
Title:Combinatorial Set Theory [electronic resource] : With a Gentle Introduction to Forcing
Author(s): Lorenz J Halbeisen
Date:2012
Publisher:London : Springer London : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lieson the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail. With this technique, one can show that certain statements, like thecontinuum hypothesis, are neither provable nor disprovable from the axioms of set theory. In the last part, some topics of classical set theory are revisited and further developed in the light of forcing. The notes at the end of eachchapter put the results in a historical context, and the numerou s related results and the extensive list of references lead the reader to the frontier of research. This book will appeal to all mathematicians interested in thefoundations of mathematics, but will be of particular use to graduates in this field
Note:Springer eBooks
Contents:The Setting
Overture: Ramsey's Theorem
The Axioms of Zermelo
Fraenkel Set Theory
Cardinal Relations in ZF only
The Axiom of Choice
How to Make Two Balls from One
Models of Set Theory with Atoms
Twelve Cardinals and their Relations
The Shattering Number Revisited
Happy Families and their Relatives
Coda: A Dual Form of Ramsey's Theorem
The Idea of Forcing
Martin's Axiom
The Notion of Forcing
Models of Finite Fragments of Set Theory
Proving Unprovability
Models in which AC Fails
Combining Forcing Notions
Models in which p = c
Properties of
ISBN:9781447121732
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Monographs in Mathematics, 1439-7382
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

Return to the Fermilab Library catalog