Informatique MP2I : cours, programmes en C et OCaml : exercices corrigés

Auteur(s) :

Mallet, Olivier Découvrir l'auteur

Résumé

Un cours complet détaillé avec de nombreux exemples, des programmes écrits dans les deux langages étudiés au sein de cette filière, C et OCaml, plus de soixante exercices et leurs corrigés complets.

Éditeur(s)
- Ellipses
Date
- DL 2023
Notes
- MP2I = Mathématiques, physique, ingénierie et informatique
Langues
- Français
Description matérielle
- 1 vol. (VI-539 p.) : ill. ; 25 cm
Sujet(s)
ISBN
- 978-2-340-08340-0
Indice
- 681.229(07) Langages C. Manuels
Quatrième de couverture
- Informatique MP2I
  Cet ouvrage s'adresse aux étudiants de classes, préparatoires MP2I. Il propose un cours d'informatique détaillé couvrant l'ensemble du programme de cette filière.
  Le cours est illustré par de nombreux exemples et par des programmes écrits dans les deux langages étudiés au sein de cette filière (C et OCaml). Il est complété par plus de soixante exercices, tous accompagnés d'un corrigé complet.
  Des références bibliographiques sont fournies à l'intention des étudiants qui souhaiteraient approfondir les thèmes abordés.
Tables des matières
- - 1 Bases de la programmation en C1
  - 1.1 Généralités2
  - 1.2 Définitions et types de base9
  - 1.3 Structures de contrôle15
  - 1.4 Pointeurs19
  - 1.5 Types structurés20
  - 1.6 Fonctions30
  - 1.7 Compilation séparée38
  - 2 Bases de la programmation en OCaml43
  - 2.1 Généralités44
  - 2.2 Définitions et types de base45
  - 2.3 Filtrage61
  - 2.4 Types structurés67
  - 2.5 Exceptions88
  - 2.6 Programmation impérative90
  - 2.7 Programmes compilés93
  - 3 Méthodes de programmation97
  - 3.1 Algorithmes, programmes, langages97
  - 3.2 Représentation des nombres101
  - 3.3 Terminaison et correction d'un programme112
  - 3.4 Complexité d'un algorithme114
  - 3.5 Discipline de programmation124
  - 3.6 Validation, test129
  - 3.7 Exercices136
  - 4 Récursivité et induction139
  - 4.1 Récursivité139
  - 4.2 Ensembles ordonnés147
  - 4.3 Induction154
  - 4.4 Exercices160
  - 5 Structures de données165
  - 5.1 Types et abstraction165
  - 5.2 Structures de données séquentielles171
  - 5.3 Arbres211
  - 5.4 Graphes250
  - 5.5 Exercices273
  - 6 Algorithmique281
  - 6.1 Exploration exhaustive281
  - 6.2 Décomposition en sous-problèmes285
  - 6.3 Algorithmique des textes306
  - 6.4 Algorithmique des graphes325
  - 6.5 Exercices356
  - 7 Gestion des ressources de la machine367
  - 7.1 Gestion de la mémoire d'un programme367
  - 7.2 Gestion des fichiers et entrées-sorties374
  - 7.3 Exercices395
  - 8 Logique399
  - 8.1 Syntaxe des formules logiques399
  - 8.2 Sémantique de vérité du calcul propositionnel407
  - 8.3 Exercices425
  - 9 Bases de données429
  - 9.1 Le modèle relationnel429
  - 9.2 Modélisation entité-association431
  - 9.3 Généralités sur le langage SQL435
  - 9.4 Requêtes SELECT sur une seule table437
  - 9.5 Opérateurs ensemblistes443
  - 9.6 Jointures446
  - 9.7 Agrégation448
  - 9.8 Exercices452
  - Solutions des exercices455
  - Bibliographie527
  - Index529
  - Index des mots-clés et fonctions C535
  - Index des mots-clés et fonctions OCaml537
  - Index des mots-clés et fonctions SQL541
Origine de la notice:
- BPI