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.


L'examen terminal aura lieu le 21 décembre de 11h à 12h30 en amphi Sc. Nat.
Au programme : semaines 1 à 12. Une feuille manuscrite est autorisée pour seul document.

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

Logique des prédicats : Cours 7 et TD 7

Suites récurrentes : Cours 8 et TD 8

Complexité des algorithmes : Cours 9 et TD 9

Langages formels : Cours 10 et TD 10

Automates finis : Cours 11 et TD 11

Graphes : coloriage, parcours, jeux : Cours 12 et TD 12



Annales

2016-17 : novembre, décembre, janvier.

2017-18 : novembre (correction), décembre-flash (correction), décembre (correction).