Algorithmique 1 — 2025/2026
Apprenez l'algorithmique
Un cours complet en français : recherche, tri, logique de Hoare et manipulation de fichiers en C.
Sommaire
01
Algorithmes de recherche
Recherche d'occurrences, minima, comparaisons
→
02
Complexité temporelle
Notations asymptotiques, analyse, classes de complexité
→
03
Algorithmes de tri
Selection, insertion, fusion, complexite
→
04
Logique de Hoare
Triplets, regles d'inference, preuves de correction
→
05
Fichiers en C
Manipulation de fichiers, flux, E/S
→
Mettez en pratique
Exercices
QCM, vrai/faux, textes à trous sur les définitions et l'analyse des algorithmes.
Codage C
Écrivez et exécutez du code C23 dans un environnement sécurisé avec vérification automatique des invariants.
Logique de Hoare
Triplets, règles d'inférence, preuves de correction. Exercices de vérification formelle.
Fichiers en C
Manipulation de fichiers, flux, E/S binaires, tri externe. Tous les exercices des TD.