Dans ce cours nous allons étudier des structures permettant de
modéliser et résoudre des problèmes informatiques, et apprendre à
raisonner sur ces structures.
Le cours mélange des aspects mathématiques et algorithmiques, et
vise à la fois à vous faire découvrir des structures de données
et algorithmes fondamentaux en informatique et à affûter vos
capacités de raisonnement.
Programme
Notes de cours : première partie.
- 16/01. Révisions : logique, raisonnement, ensembles. Lire le chapire 0.
- 23/01. Graphes, premières définitions. TD 1 [énoncé]
- 30/01. Chemins dans un graphe et connexité. TD 2 [énoncé]
Notes de cours : deuxième partie.
- 06/02. Relations d'équivalence. TD 3 [énoncé]
- 13/02. Arbres. TP 1
- 27/02. Parcours de graphes. TP 2
- 05/03. Arbres binaires de recherche. TD 4 [énoncé]
Notes de cours : troisième partie.
- 26/03. Récurrence sur les entiers. TD 5 [énoncé corrigé]
- 02/04. Définitions par clôture [script]. TD 6 [énoncé corrigé]
- 09/04. Termes [script]. TD 7 [énoncé corrigé]
- 23/04. Relations d'ordre et terminaison [script]. TD 8 [énoncé corrigé]
- 30/04. Treillis et algèbre booléenne. TD 9 [énoncé corrigé].
- 07/04. TD 10 [énoncé corrigé].
Documents
Archives des examens
Organisation
Cours. Jeudi 8h45-10h15, amphi H4.
TD/TP. Jeudi ou vendredi 10h30-12h30.