الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'non-calculabilité'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Introduction à la calculabilité / Pierre Wolper
Titre : Introduction à la calculabilité : cours et exercices corrigés Type de document : texte imprimé Auteurs : Pierre Wolper, Auteur Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup, ISSN 1636-2217 Importance : IX-209 p. Présentation : ill., couv. ill. en coul. Format : 24*17 cm ISBN/ISSN/EAN : 978-2-10-004853-3 Prix : 175 F Note générale : Éditeur : Dunod; 2e éd. édition (10 janvier 2001)
Langue : Français
Broché : 224 pages
ISBN-10 : 2100048538
ISBN-13 : 978-2100048533
Poids de l'article : 385 g
Dimensions : 24 x 17.1 x 1.2 cmLangues : Français (fre) Mots-clés : automates finis automates à pile machines de turing fonctions récursives non-calculabilité complexité Index. décimale : 510 Résumé : La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exercices et des corrigés.
Biographie de l'auteur
Professeur à l'université de Liège.SOMMAIRE:LES AUTOMATES FINIS-LES GRAMMAIRES RéGULIéRES-AUTOMATES à PILE ET LANGAGES HORS-CONTEXTE-LES MACHINES DE TURING-LES FONCTIONS RéCURSIVES-LA NON-CALCULBILITé-LA COMPLEXITéNote de contenu : La couv. porte en plus : "2e cycle, écoles d'ingénieur"
Bibliogr. p. 203-204. IndexIntroduction à la calculabilité : cours et exercices corrigés [texte imprimé] / Pierre Wolper, Auteur . - 2e éd. . - Paris : Dunod, 2001 . - IX-209 p. : ill., couv. ill. en coul. ; 24*17 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-004853-3 : 175 F
Éditeur : Dunod; 2e éd. édition (10 janvier 2001)
Langue : Français
Broché : 224 pages
ISBN-10 : 2100048538
ISBN-13 : 978-2100048533
Poids de l'article : 385 g
Dimensions : 24 x 17.1 x 1.2 cm
Langues : Français (fre)
Mots-clés : automates finis automates à pile machines de turing fonctions récursives non-calculabilité complexité Index. décimale : 510 Résumé : La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exercices et des corrigés.
Biographie de l'auteur
Professeur à l'université de Liège.SOMMAIRE:LES AUTOMATES FINIS-LES GRAMMAIRES RéGULIéRES-AUTOMATES à PILE ET LANGAGES HORS-CONTEXTE-LES MACHINES DE TURING-LES FONCTIONS RéCURSIVES-LA NON-CALCULBILITé-LA COMPLEXITéNote de contenu : La couv. porte en plus : "2e cycle, écoles d'ingénieur"
Bibliogr. p. 203-204. IndexExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13482 510/13.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt