Introduction à la calculabilité / Pierre WOLPER

Titre : Introduction à la calculabilité Type de document : texte imprimé Auteurs : Pierre WOLPER Editeur : InterEditions Année de publication : 1991 Collection : IIA Importance : 268 p. ISBN/ISSN/EAN : 978-2-7296-0372-4 Note générale : Table des matières Préface Exercices Bibliographie Index Catégories : Automates mathématiques, Théorie des Calcul formel Fonctions calculables Langages formels Index. décimale : 005.13 Langages de programmation Résumé : Les automates finis Les grammaires régulières Automates à pile et langage hors-contexte Les machines de Turing Les fonctions récursives La non-calculabilité La complexité

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002170	005.13 WOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Philosophie du langage et informatique / Gérard CHAZAL

Titre : Philosophie du langage et informatique Type de document : texte imprimé Auteurs : Gérard CHAZAL ; Marie-Noëlle TERRASSE Editeur : Hermès Science Publications Année de publication : 1996 Importance : 221 p. ISBN/ISSN/EAN : 978-2-86601-530-5 Note générale : Table des matières Préface Index des auteurs Catégories : Langage et logique Langages formels Philosophie du langage Sciences de l'information Index. décimale : 006.454 Reconnaissance de la parole. Synthèse de la parole Résumé : Hobbes et Descartes face à la mécanique du langage L'idée d'une information - limite- Limite et apport de l'analyse informatique du langage dans diverses productions verbales Philosophie, langage et informatique: la place de pragmatique Cognition, compilation et langage Sémantique des modalités épistémiques et systèmes multi-agents Des problèmes informatiques liés à la modélisation de la négation Des problèmes de formalisation de la négation au pouvoir de nier Logiques et sciences du langage La place de la logique dans les sciences du langage Logique et langage Logique et modélisation mathématique

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002006	006.454 PHI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Théorie des langages et des automates / Jean-Michel AUTEBERT

Titre : Théorie des langages et des automates Type de document : texte imprimé Auteurs : Jean-Michel AUTEBERT Editeur : Masson Année de publication : 1994 Collection : Manuels informatiques Masson Importance : 179 p. ISBN/ISSN/EAN : 978-2-225-84001-2 Note générale : Table des matières Avant-propos Problèmes Index Contents Catégories : Automates mathématiques, Théorie des Langages algébriques Langages de programmation Langages formels Machines séquentielles, Théorie des Index. décimale : 629.8 Technique de la commande automatique Résumé : Le cadre formel Les langages rationnels Les langages algébriques Les autres classes de lahiérarchie de Chomsky

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001530	629.8 AUT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

---

1 (1 - 3 / 3) Par page : 25 50 100 200