• Accueil
• Enseignement
• CV
• Recherche
• contact
• In English

Documents et chapitres abordés depuis le début de l’année

Cours

Tests Structurels

• Ce qui faut savoir sur les tests structurels
• TD7: Tests structurels / Corrigé

Analyse d’algorithmes

• Ce qui faut savoir sur l’analyse d’algorithmes
• TD6: Analyse d’algorithme récursifs / Corrigé
• TD5: Complexité / Corrigé
• TD4: Correction et terminaison / Corrigé

Calcul propositionnel

• Ce qui faut savoir sur le calcul propositionnel
• TD3: Formes normales et problème SAT / Corrigé
• TD2: Sémantique du calcul propositionnel / Corrigé
• TD1: Ensemble inductifs et syntaxe du calcul propositionnel / Corrigé

TP

C

• le 19/12 Algorithme de Seam Carving pour le redimensionnement d’images / Fichiers de base et bibliothèque / Correction
• Le 12/12 Caractères, chaînes, entrées, sorties / Corrigé
• Le 28/11 Enregistrements / Corrigé
• Le 21/11 Allocations dynamiques / Corrigé
• Le 14/11 Pointeurs / Code source des programmes / Corrigé
• Le 07/11 Introduction au C / Corrigé

OCaml

• La syntaxe à connaître en OCaml
• Le 17/10 Syntaxe impérative en OCaml / Corrigé
• Le 10/10 Manipulations de formules du calcul propositionnel en OCaml / Corrigé
• Le 03/10 Caractères, chaînes, entrées et sorties / Corrigé
• Le 26/09 Types construits en OCaml / Corrigé
• Le 12/09 et 19/09 Types avancés en OCaml / Corrigé
• Le 05/09 Introduction à OCaml / Corrigé

Prise en main du terminal

• Le 05/09 sujet

Problèmes de programmation sans lien direct avec le cours

À traiter en C ou en OCaml, mots de passe disponible sur demande. Une proposition de correction dans un langage est disponible.

• Conteneur sécurisé
• Interpréteur

Divers

• Consignes concernant les compte rendu du TP
• Consignes de rédaction des copies

Programme DS3

• Le 18/12 de 13h30 à 16h30 (3h)
• Tout le chapitre d’analyse d’algorithmes
• Lecture de code en OCaml et en C.
• Analyse de code (correction/terminaison/complexité) sur des programmes en C et OCaml.

Programme DS2

• Le 06/11 de 15h45 à 17h45
• Tout le calcul propositionnel
• Toute la syntaxe OCaml
• Un exercice de modélisation
• Un exercice syntaxe/sémantique
• Un exercice de programmation

Programme DS1

• Le 09/10 de 15h45 à 17h45
• Ensembles inductifs et preuves par induction (TD1)
• Syntaxe et sémantique du calcul propositionnel (TD1 et TD2)
• Syntaxe du langage OCaml (TP OCaml 1, 2, 3 et 4)
• Un exemple d’exercice de programmation en OCaml