|
|
Professeur
à la Faculté des Sciences et Techniques
Université
de Toulon et du Var
enseignement en Licence L1 et L2 :
L1 Langage C, I 21 : TP
corrigés
L2 Algorithmique et structures de
données, I 31 : cours
de I31, TD, TP
enseignement en MASTER 1 : option 13
Représentation logique des connaissances :
presentation, cours ,
TD, TP
bases
de données déductives :
enseignement en MASTER 2 pro: option "Logique et
sécurité"
presentation
, cours
enseignement à
l'ESIL:
Théorie des codes
correcteurs d'erreurs
enseignement
en MASTER 2 recherche :
Logique pour la
représentation des connaissances,
presentation, cours
, article, sujet, biblio , article-bis
,