Thomas Pietrzak
english

2014/2015

2013/2014

2012/2013

2011/2012

2008/2009

2007/2008

2006/2007

2005/2006

L2 : Structures de Données Dynamiques

Ce cours a pour but d'initier à l'algorithmique des structures de données dynamiques telles que les listes chainées, les arbres, voire les graphes. Le langage support pour les exemples est le C (ANSI en théorie) donc un cours de rappel est fait au début du semestre.

L3 : Programmation Objet

La programmation objet est une technique de programmation très utilisée dans l'industrie. Il est naturel d'initier les étudiants à cette méthode de programmation. Dans un premier temps un rappel de C sera fait, puis on rentrera dans les détails sur la programmation objet en C++.

M1 : Analyse et Conception Logicielle

This lecture is an introduction on model checking. In this lecture we will use l'atelier B to prove algorithms (see www.b4free.com).

L1 Math-Eco : Algorithmique

Dans ce module j'interviens pour faire quelques TP. Le but est de faire passer les notions de bases, les pointeurs et la manipulation de fichiers. C'est donc plus de la programmation que de l'algorithmique.