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

Daniel Lascar, René Cori

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Oxford University Press

  • Paru le : 11/09/2000
  • 1 million de livres à découvrir
  • Livraison à domicile à partir de 0,01 €
  • Paiement sécurisé, débit à l'expédition
103,80 €
Neuf - Expédié sous 8 à 14 jours
Livré chez vous entre le 16 décembre et le 22 décembre
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...
103,80 €
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

Ne partez pas tout de suite...

Inscription newsletter