4 résultat(s) recherche sur le mot-clé 'decidability'

Decision problems for equational theories of relation algebras / Hajnal Andréka

Public ISBD Titre : Decision problems for equational theories of relation algebras Type de document : texte imprimé Auteurs : Hajnal Andréka, Auteur ; Steven R. Givant, Auteur ; István Németi Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1997 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 604 Importance : 126 p. ISBN/ISSN/EAN : 978-0-8218-0595-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : n-frame  relation algebras  equational theory  degree of complexity  undecidability  representable relation algebras  symmetric relation algebras  group relation algebras  projective geometry  Lyndon algebras  Boolean algebraic reduct  complete atomic Boolean algebra  decidability Index. décimale : Mem Decision problems for equational theories of relation algebras [texte imprimé] / Hajnal Andréka, Auteur ; Steven R. Givant, Auteur ; István Németi . - Providence, R.I. : American Mathematical Society, 1997 . - 126 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 604) . ISBN : 978-0-8218-0595-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties Mots-clés : n-frame  relation algebras  equational theory  degree of complexity  undecidability  representable relation algebras  symmetric relation algebras  group relation algebras  projective geometry  Lyndon algebras  Boolean algebraic reduct  complete atomic Boolean algebra  decidability Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19226	Mem/604	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

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

Exponential genus problems in one-relator products of groups / Duncan, J.

Public ISBD Titre : Exponential genus problems in one-relator products of groups Type de document : texte imprimé Auteurs : Duncan, J., Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2007 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 873 Importance : vii, 156 p ISBN/ISSN/EAN : 978-0-8218-3945-4 Langues : Anglais Catégories : 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F05 Generators, relations, and presentations 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F10 Word problems, other decision problems, connections with logic and automata 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F65 Geometric group theory Mots-clés : quadratic exponential equations  decidability  finitely generated free groups  free products  one-relator products Index. décimale : Mem Exponential genus problems in one-relator products of groups [texte imprimé] / Duncan, J., Auteur . - Providence, R.I. : American Mathematical Society, 2007 . - vii, 156 p. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 873) . ISBN : 978-0-8218-3945-4 Langues : Anglais Catégories : 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F05 Generators, relations, and presentations 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F10 Word problems, other decision problems, connections with logic and automata 20-XX Group theory and generalizations:20FXX Special aspects of infinite or finite groups:20F65 Geometric group theory Mots-clés : quadratic exponential equations  decidability  finitely generated free groups  free products  one-relator products Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19235	Mem /873	imprimé / autre	CRDM	Mem/MEMOIRS AMS	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