Colles Les programmes de colles en informatique : Colle 1 : récurrences, induction, langages réguliers (début) Colle 2 : récurrences, induction, langages réguliers, expressions régulières Colle 3 : langages réguliers, parcours de graphes, algorithme de Dijkstra Colle 4 : langages réguliers, parcours de graphe, algorithme A* Colle 5 : langages réguliers, automates finis déterministes et non déterministes (début) Colle 6 : langages réguliers, automates, lemme de l’étoile Colle 7 : langages réguliers, automates, lemme de l’étoile, structure Union-Find Colle 8 : langages réguliers, automates, lemme de l’étoile, structure Union-Find, arbres couvrants de poids minimal Colle 9 : automates, structure Union-FInd, algorithme de Kruskal, langages locaux, automates de Glushkov Colle 10 : automates et théorème de Kleene, structure Union-Find, algorithme de Kruskal Colle 11 : idem colle 10 Colle 12 : automates et théorème de Kleene, logique propositionnelle, logique des prédicats, déduction naturelle (début) Colle 13 : automates et théorème de Kleene, logique propositionnelle, logique des prédicats, déduction naturelle (tout)