Informatique théorique / Huy Xuong Nguyen

Public ISBD Titre : Informatique théorique : problèmes et exercices corrigés Type de document : texte imprimé Auteurs : Huy Xuong Nguyen, Auteur Editeur : Paris [France] : Dunod Année de publication : 2003 Importance : 246 p Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-007281-1 Note générale : La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs"Glossaire. Index Langues : Français Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : Informatique  Problèmes  exercices Index. décimale : 004.076 Résumé : L'aspect nécessairement technique de la pratique de l'informatique masque trop souvent les bases théoriques de la discipline. Pour aider les étudiants des filières " informatique " et " mathématiques appliquées " à mieux appréhender ces notions abstraites, cet ouvrage propose un ensemble de 62 problèmes et de 75 exercices corrigés ayant trait à la théorie de l'informatique. Leur résolution constituera d'une part un excellent moyen de mieux maîtriser les cours, mais elle apportera aussi une réflexion modeste sur la rigueur de cette discipline. Une attention particulière a été portée à la rigueur et à la précision de la rédaction des démonstrations. Partant de la notion d'ensemble semi-reconnaissable (ou récursivement énumérable) pour s'attaquer aux problèmes décidables, l'ouvrage passe d'abord en revue différentes méthodes de preuve. Il aborde ensuite le thème de la génération inductive d'ensembles, avant d'exposer les fondements de la reconnaissance des langages formels. Il s'achève par l'étude des classes de complexité des algorithmes et des problèmes. Outre les étudiants, un tel ouvrage intéressera également les enseignants et tous ceux qui s'intéressent aux fondements de l'informatique. Informatique théorique : problèmes et exercices corrigés [texte imprimé] / Huy Xuong Nguyen, Auteur . - Paris (France) : Dunod, 2003 . - 246 p : ill., couv. ill. en coul. ; 24 cm. ISBN : 978-2-10-007281-1 La couv. porte en plus : "master 1re et 2e années, écoles d'ingénieurs"Glossaire. Index Langues : Français Catégories : INFORMATIQUE:004.1generalite,dictionnaire,... Mots-clés : Informatique  Problèmes  exercices Index. décimale : 004.076 Résumé : L'aspect nécessairement technique de la pratique de l'informatique masque trop souvent les bases théoriques de la discipline. Pour aider les étudiants des filières " informatique " et " mathématiques appliquées " à mieux appréhender ces notions abstraites, cet ouvrage propose un ensemble de 62 problèmes et de 75 exercices corrigés ayant trait à la théorie de l'informatique. Leur résolution constituera d'une part un excellent moyen de mieux maîtriser les cours, mais elle apportera aussi une réflexion modeste sur la rigueur de cette discipline. Une attention particulière a été portée à la rigueur et à la précision de la rédaction des démonstrations. Partant de la notion d'ensemble semi-reconnaissable (ou récursivement énumérable) pour s'attaquer aux problèmes décidables, l'ouvrage passe d'abord en revue différentes méthodes de preuve. Il aborde ensuite le thème de la génération inductive d'ensembles, avant d'exposer les fondements de la reconnaissance des langages formels. Il s'achève par l'étude des classes de complexité des algorithmes et des problèmes. Outre les étudiants, un tel ouvrage intéressera également les enseignants et tous ceux qui s'intéressent aux fondements de l'informatique.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
004.1.1-1	004.1.1-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
004.1.1-2	004.1.1-2	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-32-1	511.3-32-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-32-2	511.3-32-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

---

page 1/1