Titre de série :	Sciences Sup
Titre :	Informatique théorique : problèmes et exercices corrigés,avec rappels de cours Master1 et 2e années . écoles d'ingénieurs
Type de document :	texte imprimé
Auteurs :	N.H Xuong, Auteur
Editeur :	Dunod
Année de publication :	2004
Importance :	246p
Présentation :	ill
Format :	24cmx17cm
ISBN/ISSN/EAN :	978-2-10-007281-1
Langues :	Français (fre) Langues originales : Français (fre)
Catégories :	Informatique:01 Informatique Générale
Mots-clés :	prouver  générer  reconnaître  analyser .
Résumé :	L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution. Sommaire : Prouver : Quelques règles logiques, Principes du dénombrement, Principe d'induction noetherienne, Problèmes, etc.; Générer : Schémas d'induction, Schémas d'induction multiple, Grammaires hors-contextes, Problèmes, Énoncés des exercices, etc.; Reconnaître : Automates finis, Manipulation des automates finis, Problèmes, etc.; Analyseur : Coût d'un algorithme, Réductions et transformations polynomiales, Classes de complexité, etc.

Sciences Sup. Informatique théorique : problèmes et exercices corrigés,avec rappels de cours Master1 et 2e années . écoles d'ingénieurs [texte imprimé] / N.H Xuong, Auteur . - Dunod, 2004 . - 246p : ill ; 24cmx17cm.
ISBN : 978-2-10-007281-1
Langues : Français (fre) Langues originales : Français (fre)

Catégories :	Informatique:01 Informatique Générale
Mots-clés :	prouver  générer  reconnaître  analyser .
Résumé :	L'informatique théorique est une discipline qui repose en grande partie sur certains domaines des mathématiques, notamment les mathématiques discrètes et la logique. Ce recueil compte 62 problèmes tous corrigés et 75 exercices avec des indications de solution. Sommaire : Prouver : Quelques règles logiques, Principes du dénombrement, Principe d'induction noetherienne, Problèmes, etc.; Générer : Schémas d'induction, Schémas d'induction multiple, Grammaires hors-contextes, Problèmes, Énoncés des exercices, etc.; Reconnaître : Automates finis, Manipulation des automates finis, Problèmes, etc.; Analyseur : Coût d'un algorithme, Réductions et transformations polynomiales, Classes de complexité, etc.