[L3] [Informatique] [Algorithmique] Notions de base pour l'étude de la théorie des graphes : arbres couvrants, parcours, couplages, flots, programmation linéaire.
[L3] [Informatique] [Architecture - Système - Réseaux] Information & traitement, machines universelles
[L3]
[Informatique] [Fondements de l'informatique] Automates finis, grammaires hors contexte, réécriture
[L3] [Informatique] [Fondements de l'informatique] Calculabilité, Systèmes acceptables de programmation, Logique
[L3]
[Informatique] [Programmation] Langage fonctionnel (CamL), lambda-calcul & sémantique opérationnelle, typage
[L3]
[Informatique] [Programmation] Logique : Système de Hilbert, Déduction naturelle, logique du premier ordre, sémantique (cours morcellé)
[M1]
[Informatique] [Logique] Notions de logique + initiation Ă Coq
(Pouvant bouger au cours de l'année)
[M2] [Informatique] [Logique] Théorie des types (en anglais)
[M2] [Informatique] [Logique] Sémantique catégorique de la logique linéaire (en anglais)
