3 résultat(s) recherche sur le mot-clé 'rewriting system'

Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Titre : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Palaiseau : Éd. de l'École polytechnique Année de publication : 2010 Collection : Informatique Importance : 193 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français 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 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : Éd. de l'École polytechnique, 2010 . - 193 p. ; 24 cm. - (Informatique) . ISBN : 978-2-7302-1569-5 Langues : Français 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 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : proof  algorithm  predicate logic  model  soundness  completeness  decidability  Turing machine  halting problem  lambda calculus  rewriting system Index. décimale : 104I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21099	104I31	imprimé / autre	CRDM	104/LICENCE ET MAITRISE	Disponible

Free Lie Algebras / Christophe Reutenauer

Public ISBD Titre : Free Lie Algebras Type de document : texte imprimé Auteurs : Christophe Reutenauer Editeur : Oxford : Clarendon Press Année de publication : 1993 Collection : London Mathematical Society Monographs New Series num. 7 Importance : xvii - 269 p. ISBN/ISSN/EAN : 978-0-19-853679-6 Langues : Anglais Catégories : 05-XX Combinatorics :05EXX Algebraic combinatorics:05E05 Symmetric functions 17-XX Nonassociative rings and algebras:17-02 Research exposition (monographs, survey articles) 17-XX Nonassociative rings and algebras:17BXX Lie algebras and Lie superalgebras :17B01 Identities, free Lie (super)algebras Mots-clés : automorphisms  solomon descent algebra  circular words  free group  representation theory  linear group  symmetric group  convolution  shuffle product  rewriting system  hausdorff group  lyndon word  hall bases  lie series  lie polynomial  lie idempotents  free lie algebra Index. décimale : 22C Monographie Free Lie Algebras [texte imprimé] / Christophe Reutenauer . - Oxford : Clarendon Press, 1993 . - xvii - 269 p.. - (London Mathematical Society Monographs New Series; 7) . ISBN : 978-0-19-853679-6 Langues : Anglais Catégories : 05-XX Combinatorics :05EXX Algebraic combinatorics:05E05 Symmetric functions 17-XX Nonassociative rings and algebras:17-02 Research exposition (monographs, survey articles) 17-XX Nonassociative rings and algebras:17BXX Lie algebras and Lie superalgebras :17B01 Identities, free Lie (super)algebras Mots-clés : automorphisms  solomon descent algebra  circular words  free group  representation theory  linear group  symmetric group  convolution  shuffle product  rewriting system  hausdorff group  lyndon word  hall bases  lie series  lie polynomial  lie idempotents  free lie algebra Index. décimale : 22C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11661	22C41	imprimé / autre	CRDM	22/GROUPES TOPOLOGIQUES ET GROUPES DE LIE	Disponible

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