| Titre : | INTRODUCTION TO MATHEMATICAL LOGIC |
| Auteurs : | ALICE PHILLIPS, Auteur |
| Type de document : | Monographie imprimée |
| Editeur : | 3G E-Learning, 2025 |
| ISBN/ISSN/EAN : | 978-1-984695-99-4 |
| Format : | P288 / 24cm |
| Langues: | Anglais |
| Mots-clés: | Mathematical Logic (Introduction to) |
| Résumé : |
• Examines the principles and concepts of mathematical logic, including formal systems, proofs, and logical reasoning. • Discusses the application of logic in mathematical theory and computer science. • Highlights the role of mathematical logic in developing rigorous and coherent arguments. |
| Sommaire : |
- Chapter 1: Foundations of Mathematical Logic. - Chapter 2: Propositional Logic. - Chapter 3: Predicate Logic (First-Order Logic). - Chapter 4: Formal Proof Techniques. - Chapter 5: Set Theory. - Chapter 6: Model Theory. - Chapter 7 : Computability and Logic. - Chapter 8 : Non-Classical Logics. |
Disponibilité (2)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MAT/1101 | Livre | bibliothèque sciences exactes | Consultable |
| MAT/1101 | Livre | bibliothèque sciences exactes | Empruntable |
