Foundations of Logic and Mathematics Applications to Computer Science and Cryptography
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 th...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA
Birkhäuser Boston
2002, 2002
|
| Edition: | 1st ed. 2002 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- A Theory
- 0 Boolean Algebraic Logic
- 1 Logic and Deductive Reasoning
- 2 Set Theory
- 3 Induction, Recursion, Arithmetic, Cardinality
- 4 Decidability and Completeness
- B Applications
- 5 Number Theory and Codes
- 6 Ciphers, Combinatorics, and Probabilities
- 7 Graph Theory