portrait
Licence 2 Informatique

Automne 2017

Outils Formels pour l'Informatique


COURS & TD


Cours 18h : S. Julia TD 36h : F. Avnaim, S. Julia

Contrôle des connaissances :

Une feuille manuscrite est autorisée à chaque examen, hors flash.
Une séance de soutien sera proposée avant chaque examen, hors flash.


Le partiel aura lieu mardi 7 novembre de 9h45 à 11h15, le groupe 1 en Amphi Géologie,
le groupe 2 en Amphi Biologie. Au programme les cours et TD : 1 à 6.
Des séances de soutien auront lieu à la place des TD les 25 et 26 octobre.

Ensembles, dénombrabilité, mots : Cours 1 et TD 1

Relations, fonctions, ordres : Cours 2 et TD 2

Dénombrement : Cours 3 et TD3

Graphes et arbres : Cours 4 et TD 4

Logique des propositions : Cours 5 et TD 5

Induction : Cours 6 et TD 6


Annales

2016-17 : novembre, décembre, janvier