Logic, Mathematics, and Computer Science

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

Buch, Deutsch, Englisch, 391 Seiten, Book, Format (B × H): 160 mm x 241 mm, Gewicht: 8005 g

Zielgruppe

Lower undergraduate

Autoren/Hrsg.

Nievergelt, Yves

Fachgebiete

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

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).