Classical Logics

Since 2017, I have been teaching a course in Classical Logics at Paul Sabatier University (French L1 level). This course includes practical work with TouIST.

 ADA

Since 2005, I have been teaching ADA courses at INSA Toulouse (French L1 level) every year. These lessons are divided into guided work and practical work. The subjects of TD and TP can be found on the Didier Le Botlan‘s web page.

Reasoning & Uncertainty

In 2015 and 2016 I developed and presented a course in the Master 2 “Intelligent Systems & Multimedia” at the International Francophone Institute (Vietnam National University, Hanoi).

(All of the following documents are in French.)

 JAVA

I supervised projects in JAVA for students in the 3rd year of INSA Toulouse engineering school (French L3 level). The subjects of TD and TP can be found on the Didier Le Botlan‘s web page.

C language and algorithmics

In 2001, I wrote and taught a course on algorithmics and an introduction to Language C. This course contains many exercises (all corrected at the end of the document). It was intended for students who already have a master’s degree in a different field of computer sciences.

.