Résumé
A primary goal of this text is to teach students how to construct and write informal, but rigorous, mathematical proofs using basic set theory, recursive definitions, and mathematical induction. Recursion and induction are introduced with the natural numbers but are also applied to non-numerical data types.
The semantics of formalized languages are emphasized along with formal derivations and elementary metatheory. Relations between formal and informal proofs are discussed, as are heuristic strategies for constructing proofs.
Contents
Preface
Introduction
Chapter 1. Sentential Calculus
Chapter 2. Basic Set Theory
Chapter 3. Recursion and Mathematical Induction
Chapter 4. Predicate Calculus
References
Answers to Selected Exercises
The Greek Alphabet
Glossary of Symbols
Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Jones and Bartlett Publishers |
| Auteur(s) | Robert L. Causey |
| Parution | 01/06/2001 |
| Nb. de pages | 405 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 575g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780763716950 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
