Mathematical Logic, A Course with Exercises. Part 1, Propositional calculus, Boolean algebras, Predicate calculus (Relié)

  • Oxford University Press

  • Paru le : 11/09/2000
Note moyenne : |
Ce produit n'a pas encore été évalué. Soyez le premier !
Donnez votre avis !
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 €
Neuf - Expédié sous 9 à 14 jours
  • ou
    Livré chez vous
    entre le 5 février et le 9 février
ou
Votre note
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.
    • Propositional calculus
    • Boolean algebras
    • Predicate calculus
    • The completeness theorems.
  • Date de parution : 11/09/2000
  • Editeur : Oxford University Press
  • ISBN : 0-19-850049-1
  • EAN : 9780198500490
  • Présentation : Relié
  • Nb. de pages : 338 pages
  • Poids : 0.64 Kg
  • Dimensions : 16,3 cm × 24,1 cm × 2,4 cm
René Cori and Daniel Lascar teach at Université Paris VII. Donald Pelletier teaches at York University, Toronto.

Nos avis clients sur decitre.fr


Avis Trustpilot

Mathematical Logic, A Course with Exercises. Part 1, Propositional calculus, Boolean algebras, Predicate calculus est également présent dans les rayons

Daniel Lascar et René Cori - .
Mathematical Logic, A Course with Exercises. Part...
74,30 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK