Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography - Softcover

Nievergelt, Yves

Softcover

ISBN 10: 1461266238 ISBN 13: 9781461266235

Verlag: Birkhäuser, 2012

Inhaltsangabe

This modem introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: • Why is the truth table for the logical implication so unintuitive? • Why are there no recipes to design proofs? • Where do these numerous mathematical rules come from? • What are the applications of formal logic and abstract mathematics? • What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applica­ tions, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives de­ tailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life.

Details zur Ausgabe

• Verlag: Birkhäuser
• Erscheinungsdatum: 2012
• Sprache: Englisch
• ISBN 10: 1461266238
• ISBN 13: 9781461266235
• Einband: Taschenbuch
• Anzahl der Seiten: 431
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland