📘Notes du cours
Vous trouverez ci-dessous l’ensemble des supports PDF des cours, organisés par thème. Deux leçons seront proposées chaque semaine :
- une séance de théorie (vous pourrez trouver le PDF avec les notes de cours ci-dessous)
- et une séance d’exercitation(vous pourrez trouver le PDF correspondant sur la page dédiée aux TP/TD/exercices).
🖋️ Architecture et système ✔️
- Architecture et système - Arithmétique des ordinateurs, Modèle de Von Neumann, Système d’exploitation : PDF ✔️
- Architecture et système - Système d’exploitation : PDF ✔️
💻 Programmation : OCaml ✔️
- Premiers pas avec OCaml : PDF ✔️
- Données structurées en OCaml : PDF ✔️
- Récursivité en OCaml : PDF ✔️
- Polymorphisme et ordre supérieur avec OCaml : PDF ✔️
- Traits impératifs PDF ✔️
💻 Programmation : C
- Premiers pas avec C : PDF ✔️
- Pointeurs, tableaux, structures en C : PDF
- Entrées-sorties et modularité avec C : PDF
- Comparaison de C et OCaml : PDF
🧠 Bonnes pratiques et raisonnement
- Bonnes pratiques de programmation : 📄 PDF
- Correction, terminaison, complexité : 📄 PDF
- Induction structurelle, cas d’étude : 📄 PDF
🧱 Structures de données
- Types et abstraction : 📄 PDF
- Structures de données séquentielles : 📄 PDF
- Structures de données hiérarchiques : 📄 PDF
- Structures de données hiérarchiques, Ensembles : 📄 PDF
🕸️ Graphes
- Définitions et représentation : 📄 PDF
- Algorithmique des graphes (partie 1) : 📄 PDF
- Algorithmique des graphes (partie 2) : 📄 PDF
⚙️ Algorithmique
- Algorithmique arithmétique : 📄 PDF
- Retour sur trace et algorithme glouton : 📄 PDF
- Diviser pour régner : 📄 PDF
- Programmation dynamique : 📄 PDF
- Algorithmique des textes (partie 1) : 📄 PDF
- Algorithmique des textes (partie 2) : 📄 PDF
🔢 Logique
- Logique propositionnelle (partie 1) : 📄 PDF
- Logique propositionnelle (partie 2) : 📄 PDF
- SAT : 📄 PDF
- Logique du premier ordre : 📄 PDF