Title:
Foundations of logic and mathematics : applications to computer science and cryptography
Personal Author:
Publication Information:
Boston, MA : Birkh�auser, 2002
Physical Description:
xvi, 415 p. : ill. ; 26 cm.
ISBN:
9780817642495
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000010205976 | QA9 N54 2002 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
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.
Table of Contents
| 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 |
