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.

Anciens examens

Les anciens examens sont disponibles ici:

Archives

Pour information et archive, les pages web du cours des années précédentes sont disponibles ici: