Logic forms the basis of mathematics, and is a fundamental part of any mathematics course. It is a major element in theoretical computer science and bas... > Lire la suite
Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h* * si livre disponible en stock, livraison payante
74,30 €
Expédié sous 6 à 12 jours
ou
À retirer gratuitement en magasin U entre le 4 septembre et le 11 septembre
Logic forms the basis of mathematics, and is a fundamental part of any mathematics course. It is a major element in theoretical computer science and bas undergone a revival with the ever-growing importance of computer science.
This text is based on a course to undergraduates and gives a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The first chapter considers Propositional Calculus; then Boolean Algebras follow, Chapter 3 covers Predicate Calculus and this is followed by Completeness Theorems. Large numbers of examples appear throughout the text and each chapter concludes with a selection of exercises to reinforce the student's understanding. Answers to the exercises are given in an appendix.
Part II completes the course. Topics covered are: Recursion Theory; Formalization of Arithmetic, Gödel's Theorems; Set Theory, Model Theory.
Mathematical Logic, A Course With Exercises. Part 1, Propositional Calculus, Boolean Algebras, Predicate Calculus est également présent dans les rayons