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
- Assistants: Simon Liénardy, Antonio Sutera
Transparents 2013-2014
Cours complet: 1 transparent par page, 4 transparents par page (dernière mise à jour: 8/11/2013, modifications: transp. 189, 190, 191, 199)
Matière théorique vue lors des différents cours:
- Cours du 20/09/2013 (9h à 12h): Chapitre 1: Preuves
- Cours du 27/09/2013: congé (communauté française)
- Cours du 4/10/2013: pas de cours théorique
- Cours du 11/10/2013: Chapitre 2: Machines d'état et correction de programmes
- Cours du 18/10/2013: Fin chapitre 2 et chapitre 3: Définitions récursives et induction structurelle
- Cours du 25/10/2013: Fin chapitre 3 et chapitre 4: introduction à la syntaxe et à la sémantique des langages de programmation (partie 1)
- Cours du 1/11/2013: congé (Toussaint)
- Cours du 8/11/2013: chapitre 4: introduction à la syntaxe et à la sémantique des langages de programmation (partie 2)
- Cours du 15/11/2013: fin chapitre 4 et début chapitre 5: théorie des graphes
- Cours supplémentaire le mardi 19/11/2013 (matin): fin chapitre 5: théorie des graphes et début chapitre 6.
- Cours du 22/11/2013: pas de cours théorique
- Cours du 29/11/2013: Chapitre 6: sommations et comportements asymptotiques
- Cours du 6/12/2013: pas de cours
- Cours du 13/12/2013: Chapitre 7: récurrences
- Cours supplémentaire du mardi 17/12/2013 (matin): fin du chapitre 7 et chapitre 8: fonctions génératrices (jusqu'au slide 428)
- Cours du 20/12/2013: pas de cours théorique
Répétitions 2013-2014
Les énoncés des répétitions seront mis à disposition des étudiants sur cette page avant chaque cours.- Cours du 20/09/2013: Pas de répétition
- Cours du 27/09/2013: congé
- Cours du 4/10/2012 (9h à 12h): Répétition 1 - Preuves
- Cours du 11/10/2012: Répétition 2 - Machines d'état et correction de programmes
- Cours du 18/10/2012: Répétition 3 - Définitions récursives et induction structurelle
- Cours du 25/10/2012: Répétition 4 - Définitions récursives et sémantiques
- Cours du 1/11/2013: congé (Toussaint)
- Cours du 8/11/2013: Répétition 5 - Syntaxe et sémantiques des langages
- Cours du 15/11/2013: Répétition 6 - Syntaxe et sémantiques des langages
- Cours supplémentaire du mardi 19/11/2013 (matin): pas de répétition
- Cours du 22/11/2013 (9h à 12h): Répétition 7 et Répétition 8 - théorie des graphes
- Cours du 29/11/2013: Répétition 9 - sommations et comportements asymptotiques
- Cours du 6/12/2013: pas de répétition
- Cours du 13/12/2013: Répétition 10 - récurrences
- Cours supplémentaire du mardi 17/12/2013 (matin): Répétition 11 - fonctions génératrices
- Cours du 20/12/2013: fin répétitions 11 et correction examen de janvier 2013
Anciens examens
Les anciens examens sont disponibles ici:- Examen de juin 2010 (Liadan O'Callaghan). Matière en 2013-2014: problèmes 1, 2, 3 uniquement.
- Examen de juin 2011 (Julien Brusten). Matière en 2013-2014: questions 2, 3, 5 uniquement.
- Examen d'août 2011 (Julien Brusten). Matière en 2013-2014: questions 2, 3 uniquement
- Examen de janvier 2012, Solution de la question 6 . Matière en 2013-2014: questions 1, 3, 5(a), 6.
- Examen de septembre 2012. Matière en 2013-2014: questions 1, 3, 4(a), 6.
- Examen de janvier 2013
- Examen de septembre 2013