| 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 |
| Index. décimale : | 511.3 |
| 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. |
Portail documentaire de l'universitè Mohamed Khider Biskra
Portail documentaire de l'université Mohamed Khider-Biskra Bibliothèque de la faculté sciences exactes
Retour a la page d'accueil
Compte d'adhesion
Coordonnées bibliothéque
Portail documentaire de l'universitè Mohamed Khider Biskra7000 Biskra
Algerie
033 54 32 99
Recherche documentaire
Thèses en ligne sur e-print
Afin de permetre une visibilité et accéssibilité du patrimoine scientifique de l'université l'université déja publié sur le portail national de thèses aux chercheurs ,le portail offre la possibilité