visiteurs depuis le 20 octobre 2004

Cours licence Informatique - Année 3 - Semestres 5 et 6

Semestre 5 Semestre 6
Mathématiques Fondement Informatique Algorithmes Avancés Système d'exploitation Image et Son Théorie des langages Algorithmique de graphes Programmation fonctionnelle et symbolique Cryptologie et Arithmétique Anglais

Fondements Informatique

Cours

CHAP 01 - Automates finis (.doc)
CHAP 02 - Algebre de Boole et logique (.doc)
CHAP 03 - relation d'ordre (.doc)

TDS

TD01 Mots et automates (.pdf)
TD02 Langages et automates (.pdf)
TD03 minimisation et non rationnalite (.pdf)
TD04 Congurence syntaxique (.pdf)
TD05 Relations et point fixe (.pdf)
TD06 Principe d_induction (.pdf)
TD07 Algebre de Boole (.pdf)
TD08 Logique (.pdf)
TD09 Series generatrices (.pdf)

Vous pouvez retrouver les énoncés des TDS ainsi que la correction de quelques exercices sur la Page Perso de Giuliana Bianchi