Informations générales
- Lien dans le programme des cours
- Sections concernées: 2ème Bachelier en sciences informatiques, Année préparatoire au master en sciences informatiques
- Horaire : 1er semestre, vendredi de 9h à 12h30
- Local: 2.93, Institut Montefiore
- Modalité d'examen: examen écrit le vendredi 11/01/2013, B37 (Institut de math), Amphi 02.
- Assistants: Thomas Leuther
Transparents 2012-2013
Les transparents seront mis à disposition des étudiants sur cette page avant chaque cours.- Remarques organisationelles (dernière mise à jour: 21/09/2012)
- Chapitre 1: Preuves (dernière mise à jour: 4/10/2012, modif. transp. 19, 74-84 (suppression))
- Chapitre 2: Machines d'état et correction de programmes (dernière mise à jour: 4/10/2012, modif. transp. 91)
- Chapitre 3: Définitions récursives et induction structurelle (dernière mise à jour: 18/10/2012, modif. transp. 139)
- Chapitre 4: Introduction à la syntaxe et à la sémantique des langages de programmation (partie 1) (dernière mise à jour: 18/10/2012)
- Chapitre 4: Introduction à la syntaxe et à la sémantique des langages de programmation (partie 2) (dernière mise à jour: 8/11/2012, modif. transp. 182, 183)
- Chapitre 5: théorie des graphes (partie 1) (dernière mise à jour: 8/11/2012)
- Chapitre 5: théorie des graphes (partie 2) (dernière mise à jour: 15/11/2012)
- Chapitre 6: sommations et comportements asymptotiques (dernière mise à jour: 29/11/2012, modif. transp. 317, 319, 321)
- Chapitre 7: récurrences (dernière mise à jour: 13/12/2012, modif. transp. 373)
- Chapitre 8: fonctions génératrices (partie 1) (dernière mise à jour: 13/12/2012, modif. transp. 400)
- Chapitre 8: fonctions génératrices (partie 2) (dernière mise à jour: 20/12/2012, modif. transp. 430, 431)
Cours complet: 1 transparent par page, 4 transparents par page (dernière mise à jour: 20/12/2012, modif. transp. 430, 431)
Matière vue lors des différents cours:
- Cours du 21/09/2012: Chapitre 1: Preuves
- Cours du 28/09/2012: Pas de cours théorique
- Cours du 5/10/2012: Chapitre 2: Machines d'état et correction de programmes
- Cours du 11/10/2012: Fin chapitre 2 et chapitre 3: Définitions récursives et induction structurelle
- Cours du 19/10/2012: Fin chapitre 3 et chapitre 4: introduction à la syntaxe et à la sémantique des langages de programmation (partie 1)
- Cours du 26/10/2012: chapitre 4: introduction à la syntaxe et à la sémantique des langages de programmation (partie 2)
- Cours du 9/11/2012: chapitre 5: théorie des graphes (partie 1)
- Cours du 16/11/2012: chapitre 5: théorie des graphes (partie 2)
- Cours du 23/11/2012: Chapitre 6: sommations et comportements asymptotiques
- Cours du 30/11/2012: Fin Chapitre 6 et Chapitre 7: récurrences
- Cours du 7/12/2012: Fin Chapitre 7
- Cours du 14/12/2012: Chapitre 8: fonctions génératrices (partie 1)
- Cours du 21/12/2012: Chapitre 8: fonctions génératrices (partie 2)
Répétitions 2012-2013
Les énoncés des répétitions seront mis à disposition des étudiants sur cette page avant chaque cours.- Cours du 21/09/2012: Pas de répétition
- Cours du 28/09/2012: Répétition 1
- Cours du 5/10/2012: Répétition 2
- Cours du 11/10/2012: Répétition 3
- Cours du 19/10/2012: Répétition 4
- Cours du 26/10/2012: Répétition 5
- Cours du 9/11/2012: Répétition 6
- Cours du 16/11/2012: Répétition 7
- Cours du 23/11/2012: Répétition 8
- Cours du 30/11/2012: Répétition 9
- Cours du 7/12/2012: Répétition 10
- Cours du 14/12/2012: Répétition 11
- Cours du 21/12/2012: Répétition 12
Anciens examens
Les anciens examens sont disponibles ici:- Examen de juin 2010 (Liadan O'Callaghan). Matière en 2012-2013: problèmes 1, 2, 3 uniquement.
- Examen de juin 2011 (Julien Brusten). Matière en 2012-2013: questions 2, 3, 5 uniquement.
- Examen d'août 2011 (Julien Brusten). Matière en 2012-2013: questions 2, 3 uniquement
- Examen de janvier 2012, Solution à la question 6 (Pierre Geurts). Matière en 2012-2013: questions 1, 3, 5(a), 6.
- Examen de septembre 2012 (Pierre Geurts). Matière en 2012-2013: questions 1, 3, 4(a), 6.
- Examen de janvier 2013 (Pierre Geurts).