Informatique MP2I-MPI
Tout-en-un
Ce tout-en-un couvre l'intégralité du programme d'informatique des deux années de la nouvelle filière MP2I-MPI.Il aborde deux nouveaux langages de programmation qui ne sont pas enseignés dans le tronc commun à toutes les autres classes prépas : les langages C et OCaml. D'autres notions théoriques d'informatique sont également approfondies, notamment en [...]
[lire le résumé du livre]
Auteur : Gérard ROZSAVOLGYI , Jean-Loup CARRE , Julien REICHERT , Florent BECKER , COLLECTIF
Editeur : Dunod
Collection : J'intègre tout-en-un
Date parution : 08/2024CB Google/Apple Pay, Chèque, Virement
Quel est le sujet du livre "Informatique MP2I-MPI"
Ce tout-en-un couvre l'intégralité du programme d'informatique des deux années de la nouvelle filière MP2I-MPI.
Il aborde deux nouveaux langages de programmation qui ne sont pas enseignés dans le tronc commun à toutes les autres classes prépas : les langages C et OCaml. D'autres notions théoriques d'informatique sont également approfondies, notamment en algorithmique et en structures de données.
Des compléments en ligne viennent compléter le contenu du livre, et faciliter le travail de l'étudiant.
En suivant ce lien, retrouvez tous les livres dans la spécialité Classes prépas.
Sommaire et contenu du livre "Informatique MP2I-MPI - Tout-en-un"
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
PDF 878 Ko)
