Foundations of Logic and Mathematics

Applications to Computer Science and Cryptography
1. Auflage 2001
ISBN: 978-0-8176-4249-5
Verlag: Birkhäuser

Buch, Englisch, 415 Seiten, Format (B × H): 178 mm x 254 mm, Gewicht: 2300 g

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a substantial impact on everyday life (loans and mortgages, bar codes, public-key cryptography). A first college-level introduction to logic, proofs, sets, number theory, and graph theory, and an excellent self-study reference and resource for instructors.

Zielgruppe

Research

Autoren/Hrsg.

Nievergelt, Yves

Fachgebiete

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

Inhaltsverzeichnis

Preface * Outline * Part A. Theory * 0. Boolean Algebraic Logic * 1. Logic and Deductive Reasoning * 2. Set Theory * 3. Induction, Recursion, Arithmetic, Cardinality * 4. Decidability and Completeness * Part B. Applications * 5. Number Theory and Codes * 6. Ciphers, Combinatorics, and Probabilities * 7. Graph Theory * Bibliography * Index