Informatique tout-en-un mp2i-mpi
Florent Becker, Olivier Bournez, Jean-Loup Carré, Mathieu Liedloff, Julien Reichert, Gérard Rozsavolgyi - Collection J'intègre - Concours Écoles d'ingénieurs
768 pages, parution le 21/08/2024
Résumé
LE COURS
- Les notions du programme indispensables à connaître sont abordées dans le respect des textes officiels.
- Les principales difficultés et erreurs sont mises en avant.
- Des méthodes expliquent la démarche attendue.
- Des QCM et des Vrai/Faux pour valider ses connaissances.
- Des exercices d’entraînement, dont certains tirés d’annales de concours, de difficulté variée pour appliquer le cours et se préparer aux épreuves.
- Tous les corrigés détaillés et expliqués.
Sommaire
Bases de l’informatique. Notion d’algorithme. Notion de machine. Le langage OCaml. Compléments. Le langage C. Processus de compilation et interprétation.
Codage de l’information. Mémoire - Méthodologie algorithmique. Compléments sur la gestion mémoire en C. Langage C et gestion mémoire. Notions fondamentales en algorithmie. Complexité et structures de données séquentielles. Analyse de complexité. Algorithmes de tris simples. Structures de données abstraites. Complexité temporelle amortie. Tableaux associatifs - Hachage. Structures de données hiérarchiques et récursivité. Données hiérarchiques. Structures de données hiérarchiques efficaces. Algorithmes utilisant des arborescences. Bases de données. Vocabulaire des bases de données.
Associations. Requêtes en SQL. Paradigmes algorithmiques. Introduction. Stratégies gloutonnes. Diviser pour régner. Programmation dynamique. Graphes et algorithmes de graphes. Vocabulaire. Représentation. Accessibilité et parcours de graphes. Plus courts chemins. Arbre couvrant de poids minimum.
Algorithmique avancée. Algorithmique des textes. Algorithmique pour l’intelligence artificielle et l’étude des jeux. Algorithmes probabilistes. Algorithmes d’approximation. Concurrence et synchronisation. Fil d’exécution. Exclusion mutuelle. Logique, preuves et déduction naturelle. Syntaxe du calcul des prédicats. Sémantique. Satisfaisabilité et complexité. Déduction naturelle. Quantificateurs. Langages - Automates - Grammaires. Alphabets et mots. Langages. Expressions régulières. Automates. Grammaires. Décidabilité et classes de complexité. Machines universelles. Un programme universel en Ocaml. Problèmes et langages décidables. Modèles de calculs. Indécidabilité. La notion de temps raisonnable. Comparer les problèmes. La classe NP. Quelques problèmes NP-complets. Preuve du théorème de Cook-Levin
Codage de l’information. Mémoire - Méthodologie algorithmique. Compléments sur la gestion mémoire en C. Langage C et gestion mémoire. Notions fondamentales en algorithmie. Complexité et structures de données séquentielles. Analyse de complexité. Algorithmes de tris simples. Structures de données abstraites. Complexité temporelle amortie. Tableaux associatifs - Hachage. Structures de données hiérarchiques et récursivité. Données hiérarchiques. Structures de données hiérarchiques efficaces. Algorithmes utilisant des arborescences. Bases de données. Vocabulaire des bases de données.
Associations. Requêtes en SQL. Paradigmes algorithmiques. Introduction. Stratégies gloutonnes. Diviser pour régner. Programmation dynamique. Graphes et algorithmes de graphes. Vocabulaire. Représentation. Accessibilité et parcours de graphes. Plus courts chemins. Arbre couvrant de poids minimum.
Algorithmique avancée. Algorithmique des textes. Algorithmique pour l’intelligence artificielle et l’étude des jeux. Algorithmes probabilistes. Algorithmes d’approximation. Concurrence et synchronisation. Fil d’exécution. Exclusion mutuelle. Logique, preuves et déduction naturelle. Syntaxe du calcul des prédicats. Sémantique. Satisfaisabilité et complexité. Déduction naturelle. Quantificateurs. Langages - Automates - Grammaires. Alphabets et mots. Langages. Expressions régulières. Automates. Grammaires. Décidabilité et classes de complexité. Machines universelles. Un programme universel en Ocaml. Problèmes et langages décidables. Modèles de calculs. Indécidabilité. La notion de temps raisonnable. Comparer les problèmes. La classe NP. Quelques problèmes NP-complets. Preuve du théorème de Cook-Levin
Voir tout
Replier
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Dunod | |
| Auteur(s) | Florent Becker, Olivier Bournez, Jean-Loup Carré, Mathieu Liedloff, Julien Reichert, Gérard Rozsavolgyi | |
| Collection | J'intègre - Concours Écoles d'ingénieurs | |
| Parution | 21/08/2024 | 21/08/2024 |
| Nb. de pages | 768 | - |
| Format | 17 x 24 | - |
| Couverture | Broché | - |
| Poids | 1102g | - |
| Contenu | - |
PDF |
| EAN13 | 9782100851768 |
9782100859405 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
