Titre :	Proofs and algorithms : an introduction to logic and computability
Type de document :	texte imprimé
Auteurs :	Gilles Dowek, Auteur
Editeur :	London : Springer
Année de publication :	2011
Collection :	Undergraduate Topics in Computer Science
Importance :	xii - 155 p.
Format :	24 cm
ISBN/ISSN/EAN :	978-0-85729-120-2
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
Mots-clés :	proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system
Index. décimale :	68C Monographie

Proofs and algorithms : an introduction to logic and computability [texte imprimé] / Gilles Dowek, Auteur . - London : Springer, 2011 . - xii - 155 p. ; 24 cm. - (Undergraduate Topics in Computer Science) .
ISBN : 978-0-85729-120-2
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
Mots-clés :	proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system
Index. décimale :	68C Monographie