الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'automates à pile'
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 Théorie des langages / Myriam Noureddine
Titre : Théorie des langages Type de document : texte imprimé Auteurs : Myriam Noureddine, Auteur Mention d'édition : Réimpression 2005 Editeur : Alger [Algérie] : OPU Année de publication : 2005 Importance : 238 p. Présentation : ill. en coul., cartes, couv. ill. en coul. Format : 21 cm ISBN/ISSN/EAN : 978-9961-0-0813-3 Prix : 320 DA Note générale : Éditeur : OPU (2005)
Langue : Français
Broché : 238 pages
ISBN-10 : -
ISBN-13 : 978-9961-0-0813-3
Poids de l'article : 404 gLangues : Français (fre) Mots-clés : langages représentation des langages automates d’états finis langages régulières fermeture des langages langages algébriques automates à pile langages de type 1 langages de type 0 calculabilité Index. décimale : 003 Informatique Générale Résumé : Sommaire :
introduction
les langages
représentation des langages
les automates d’états finis
les langages régulières
les fermeture des langages
langages algébriques
les automates à pile
les langages de type 1
les langages de type 0
introduction à la théorie de la calculabilitéNote de contenu : biblio.
Théorie des langages [texte imprimé] / Myriam Noureddine, Auteur . - Réimpression 2005 . - Alger (16000, Algérie) : OPU, 2005 . - 238 p. : ill. en coul., cartes, couv. ill. en coul. ; 21 cm.
ISBN : 978-9961-0-0813-3 : 320 DA
Éditeur : OPU (2005)
Langue : Français
Broché : 238 pages
ISBN-10 : -
ISBN-13 : 978-9961-0-0813-3
Poids de l'article : 404 g
Langues : Français (fre)
Mots-clés : langages représentation des langages automates d’états finis langages régulières fermeture des langages langages algébriques automates à pile langages de type 1 langages de type 0 calculabilité Index. décimale : 003 Informatique Générale Résumé : Sommaire :
introduction
les langages
représentation des langages
les automates d’états finis
les langages régulières
les fermeture des langages
langages algébriques
les automates à pile
les langages de type 1
les langages de type 0
introduction à la théorie de la calculabilitéNote de contenu : biblio.
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19024 003/14.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt