Computability, complexity, and languages
fundamentals of theoretical computer science
Davis, Martin D. (Principal) ; Sigal, Ron (Co-auteur) ; Weyuker, Elaine J. (Co-auteur)
1994
978-0-12-206382-4
00017363
calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification
Ville d'édition : Boston ; N.Y. ; San Diego
Pays d'édition : États-Unis
Langue : Anglais
N° édition : 2nd ed.
EAN13 : 9780122063824
ISBN : 0-12-206382-1
Collation : 24 cm ; 609 p. ; Bibliogr. ; Index ; rel. ; xviii
Collection : Computer science and scientific computing
Localisation : Disparu
Code ACM : F.1 ; F.2 ; F.3 ; F.4.1 ; F.4.2
Type d'ouvrage : Monographie
Disponibilité : Disparu
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00017363 | D2006 Disparu 2005 D2004 D 2003 [disponible] |