Articles et cours de théorie de la démonstration.

Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.

Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.

Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.

Quelques notes de cours: démonstration automatique, logique informatique, complexité.

Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.

Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.

Introduction aux fondements des mathématiques, et présentation détaillée d'une théorie naïve des ensembles non traditionnelle.

Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.

Petite parabole militaire qui traduit l'opportunité du recours à la logique floue dans le processus de décision et de management; liens sur la logique floue.