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
LEADER 03791cmm a2200625 i 4500
001 ebook-257540385
005 20230922151225.0
007 cr|uuu---uuuuu
008 210927s2021||||fr ||||g|||d ||||||fre d
020 |a 9782340057364 
035 |a (OCoLC)1273485074 
035 |a FRCYB88915779 
035 |a FRCYB07488915779 
035 |a FRCYB08288915779 
035 |a FRCYB14088915779 
035 |a FRCYB24288915779 
035 |a FRCYB26088915779 
035 |a FRCYB26888915779 
035 |a FRCYB29588915779 
035 |a FRCYB55488915779 
035 |a FRCYB55988915779 
035 |a FRCYB56788915779 
035 |a FRCYB63788915779 
035 |a FRCYB84688915779 
035 |a FRCYB87088915779 
035 |a FRCYB87588915779 
035 |a FRCYB87888915779 
040 |a ABES  |b fre  |e AFNOR 
041 0 |a fre  |f fre  |2 639-2 
100 1 |0 (IdRef)150156243  |1 http://www.idref.fr/150156243/id  |a Barra, Vincent  |d (19..-....;   |c chercheur en informatique de modélisation).  |4 aut.  |e Auteur 
245 1 0 |a Informatique MP2IMPI :  |b CPGE 1re et 2e années   |c Vincent Barra,.... 
256 |a Données textuelles. 
264 1 |a Paris :  |b Ellipses. 
264 2 |a Paris :  |b Cyberlibris,  |c 2021. 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
337 |b b  |2 isbdmedia 
338 |b ceb  |2 RDAfrCarrier 
500 |a Couverture (https://static.cyberlibris.com/books_upload/136pix/9782340057364.jpg). 
500 |a Titre provenant de la page de titre du document numérique. 
500 |a La pagination de l'édition imprimée correspondante est de 514 p. 
506 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
520 |a 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.  |c site éditeur. 
538 |a Configuration requise : navigateur internet. 
650 7 |0 (IdRef)027234886  |1 http://www.idref.fr/027234886/id  |a Informatique.  |2 ram 
650 7 |0 (IdRef)027241378  |1 http://www.idref.fr/027241378/id  |a Programmation (informatique).  |2 ram 
650 7 |0 (IdRef)027282171  |1 http://www.idref.fr/027282171/id  |a Algorithmes.  |2 ram 
650 7 |0 (IdRef)027662799  |1 http://www.idref.fr/027662799/id  |a Logique mathématique.  |2 ram 
650 7 |0 (IdRef)027682005  |1 http://www.idref.fr/027682005/id  |a Langages formels.  |2 ram 
650 7 |0 (IdRef)028631609  |1 http://www.idref.fr/028631609/id  |a Bases de données relationnelles.  |2 ram 
856 |q HTML  |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88915779  |w Données éditeur  |z Accès à l'E-book 
886 2 |2 unimarc  |a 181  |a i#  |b xxxe## 
993 |a E-Book  
994 |a BNUM 
995 |a 257540385