Logic, Mathematics, and Computer Science

Modern Foundations with Practical Applications
2. Auflage 2015
ISBN: 978-1-4939-3713-4
Verlag: Springer

Buch, Englisch, 391 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 6823 g

Autoren/Hrsg.

Nievergelt, Yves

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Geisteswissenschaften Philosophie Philosophie der Mathematik, Philosophie der Physik
• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Computeranwendungen in der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Philosophie der Mathematik
• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Inhaltsverzeichnis

Preface.- 1. Propositional Logic: Proofs from Axioms and Inference Rules.- 2. First Order Logic: Proofs with Quantifiers.- 3. Set Theory: Proofs by Detachment, Contraposition, and Contradiction.- 4. Mathematical Induction: Definitions and Proofs by Induction.- 5. Well-Formed Sets: Proofs by Transfinite Induction with Already Well-Ordered Sets.- 6. The Axiom of Choice: Proofs by Transfinite Induction.- 7. Applications: Nobel-Prize Winning Applications of Sets, Functions, and Relations.- 8. Solutions to Some Odd-Numbered Exercises.- References.- Index.

Über Autor(innen)

Yves Nievergelt is professor of mathematics at Eastern Washington University. His research interests include applied analysis (mathematics applied to chemistry, medical diagnostic imaging, and physics), complex analysis, and numerical analysis (mathematics of scientific programming).