Logique des prédicats (quantificateurs, les variables liées et libres, preuves) et ...
Théorie des ensembles et application à la spécification de systèmes formels (
notation Z). -- ... automatisation du raisonnement déductif, systèmes experts,
robotique, bases de ... Mathématiques discrètes élémentaires (fonctions,
ensembles, ...). 
