Informatique MP2IMPI : CPGE 1re et 2e années

Enregistré dans:
Détails bibliographiques
Auteur principal: Barra, Vincent (19..-....; chercheur en informatique de modélisation). (Auteur)
Support: E-Book
Langue: Français
Publié: Paris : Ellipses.
Sujets:
Autres localisations: Voir dans le Sudoc
Résumé: et ouvrage aborde en profondeur et de manière très illustrée l'ensemble des points du programme de MP2I et de MPI et propose ainsi : une revue large des principaux types d'algorithmes et de leurs paradigmes. Les principes méthodologiques de ces algorithmes sont décrits, leurs implémentations en C et OCaml, les deux langages au programme, proposées, et des exemples applicatifs développés ; des notions de programmation, à la fois théoriques et pratiques, avec le développement des algorithmes en C et OCaml ; la théorie des langages formels et leur manipulation par des automates finis ; une introduction aux bases de données et une description applicative en langage SQL ; des éléments de logique et de calcul propositionnel ; une introduction à la gestion des ressources mémoire et des problèmes de synchronisation et de concurrence dans une machine. Pour chacune de ces parties, les notions théoriques sont introduites, les différents algorithmes et méthodes développés et de nombreux exemples viennent illustrer chaque concept. Des exercices corrigés permettent de mettre en pratique les différents éléments abordés.
Accès en ligne: Accès à l'E-book
+ d'infos
Résumé:et ouvrage aborde en profondeur et de manière très illustrée l'ensemble des points du programme de MP2I et de MPI et propose ainsi : une revue large des principaux types d'algorithmes et de leurs paradigmes. Les principes méthodologiques de ces algorithmes sont décrits, leurs implémentations en C et OCaml, les deux langages au programme, proposées, et des exemples applicatifs développés ; des notions de programmation, à la fois théoriques et pratiques, avec le développement des algorithmes en C et OCaml ; la théorie des langages formels et leur manipulation par des automates finis ; une introduction aux bases de données et une description applicative en langage SQL ; des éléments de logique et de calcul propositionnel ; une introduction à la gestion des ressources mémoire et des problèmes de synchronisation et de concurrence dans une machine. Pour chacune de ces parties, les notions théoriques sont introduites, les différents algorithmes et méthodes développés et de nombreux exemples viennent illustrer chaque concept. Des exercices corrigés permettent de mettre en pratique les différents éléments abordés.
Description:Couverture (https://static.cyberlibris.com/books_upload/136pix/9782340057364.jpg).
Titre provenant de la page de titre du document numérique.
La pagination de l'édition imprimée correspondante est de 514 p.
Support:Configuration requise : navigateur internet.
ISBN:9782340057364
Accès:L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition