Proofs and algorithms / Gilles Dowek

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21238	LINA/68C413	Ouvrage	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1