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

Degrees of unsolvability / Epstein, Richard L.

Public ISBD Titre : Degrees of unsolvability : structure and theory Type de document : texte imprimé Auteurs : Epstein, Richard L. Editeur : Springer-Verlag Année de publication : 1979 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 759 Importance : xiv - 240 p. ISBN/ISSN/EAN : 978-3-540-09710-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : priority arguments  second-order number theory  undecidability  first-order theory of degrees  partial recursive functionals  recursive functions  textbook  degrees of unsolvability Index. décimale : LNM Degrees of unsolvability : structure and theory [texte imprimé] / Epstein, Richard L. . - [S.l.] : Springer-Verlag, 1979 . - xiv - 240 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 759) . ISBN : 978-3-540-09710-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D30 Other degrees and reducibilities 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentences Mots-clés : priority arguments  second-order number theory  undecidability  first-order theory of degrees  partial recursive functionals  recursive functions  textbook  degrees of unsolvability Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7615	LNM/759	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

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

Introduction to automata theory, languages, and computation / John E. Hopcroft

Public ISBD Titre : Introduction to automata theory, languages, and computation Type de document : texte imprimé Auteurs : John E. Hopcroft ; Motwani, Rajeev ; Jeffrey D. Ullman Mention d'édition : 2nd ed. Editeur : Reading, MA : Addison-Wesley Publishing Company, Inc. Année de publication : 2001 Importance : xiv - 521 p. ISBN/ISSN/EAN : 978-0-201-44124-6 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : undecidability  context-free grammars  finite automata Index. décimale : 68C Monographie Introduction to automata theory, languages, and computation [texte imprimé] / John E. Hopcroft ; Motwani, Rajeev ; Jeffrey D. Ullman  . -  2nd ed.  . - Reading, MA : Addison-Wesley Publishing Company, Inc., 2001 . - xiv - 521 p. ISBN : 978-0-201-44124-6 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : undecidability  context-free grammars  finite automata Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13796	68C75	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

a New kind of science / Wolfram, S.

Public ISBD Titre : a New kind of science Type de document : texte imprimé Auteurs : Wolfram, S. Editeur : Champaign : Wolfram Media Année de publication : 2002 Importance : xiv - 1197 p. ISBN/ISSN/EAN : 978-1-57955-008-0 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) 68-XX Computer science :68QXX Theory of computing:68Q80 Cellular automata 91-XX Game theory, economics, social and behavioral sciences:91AXX Game theory:91A20 Multistage and repeated games Mots-clés : intractability  undecidability  computational irreducibility  complexity  axiomatic mathematical systems  avatars  cellular automata Index. décimale : 68C Monographie a New kind of science [texte imprimé] / Wolfram, S. . - Champaign : Wolfram Media, 2002 . - xiv - 1197 p. ISBN : 978-1-57955-008-0 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.) 68-XX Computer science :68QXX Theory of computing:68Q80 Cellular automata 91-XX Game theory, economics, social and behavioral sciences:91AXX Game theory:91A20 Multistage and repeated games Mots-clés : intractability  undecidability  computational irreducibility  complexity  axiomatic mathematical systems  avatars  cellular automata Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16281	68C281	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible