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
74,30 €
Expédié sous 6 à 12 jours
Livré chez vous entre le 15 mai et le 21 mai
En magasin
Résumé
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.
René Cori and Daniel Lascar teach at Université Paris VII. Donald Pelletier teaches at York University, Toronto.
Souvent acheté ensemble
Vous aimerez aussi
Derniers produits consultés
Mathematical Logic, A Course With Exercises. Part 1, Propositional Calculus, Boolean Algebras, Predicate Calculus est également présent dans les rayons