A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'model'
Affiner la recherche Générer le flux rss de la recherche
Les démonstrations et les algorithmes / Gilles Dowek
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21099 104I31 imprimé / autre CRDM 104/LICENCE ET MAITRISE Disponible Proofs and algorithms / Gilles Dowek
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