| Titre : | Informatique théorique |
| Auteurs : | Huy Xuong Nguyen |
| Type de document : | texte imprimé |
| Editeur : | Malakoff : Dunod, 2004 |
| Collection : | Sciences sup. Informatique |
| ISBN/ISSN/EAN : | 978-2-10-007281-1 |
| Format : | 1 vol. (X-246 p.) / ill. en coul. / 24 cm |
| Note générale : | Index. Lexique |
| Langues originales: | |
| Index. décimale : | 004.01 (Philosophie et théorie de l'informatique) |
| Catégories : |
Ouvrages > Généralités (ouvrages généraux), information, informatique > Informatique |
| Mots-clés: | Informatique : Problèmes et exercices |
| 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. |
| Note de contenu : |
Sommaire - Prouver. - Quelques règles. - Principe du dénombrement. - Principes d’induction noethérienne. - Générer. - Schémas d’induction. - Schémas d’induction multiple. - Grammaires hors contextes. - Problèmes. - Reconnaître. - Automates finis. - Manipulation des automates finis. - Problèmes - Analyser. - Coût d’un algorithme. - Réductions et transformations polynomiales. - Classes de complexité. - Problèmes. - Énonces des exercices. - Solutions des exercices. - Lexique et index. |
| Côte titre : |
S8/66217-66219 *S8/63888-63890 *S8/66503 *S8/69171-69174 *S8/70399-70401 |
Exemplaires (14)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/63888 | Livre | Bibliothèque centrale | Disponible |
| S8/63889 | Livre | Bibliothèque centrale | Disponible |
| S8/63890 | Livre | Bibliothèque centrale | Disponible |
| S8/66217 | Livre | Bibliothèque centrale | Disponible |
| S8/66218 | Livre | Bibliothèque centrale | Disponible |
| S8/66219 | Livre | Bibliothèque centrale | Disponible |
| S8/66503 | Livre | Bibliothèque centrale | Disponible |
| S8/69171 | Livre | Bibliothèque centrale | Disponible |
| S8/69172 | Livre | Bibliothèque centrale | Disponible |
| S8/69173 | Livre | Bibliothèque centrale | Disponible |
| S8/69174 | Livre | Bibliothèque centrale | Disponible |
| S8/70399 | Livre | Bibliothèque centrale | Disponible |
| S8/70400 | Livre | Bibliothèque centrale | Disponible |
| S8/70401 | Livre | Bibliothèque centrale | Disponible |
Accueil
