Établissement
INP - ENSEEIHT
Description
Étude théorique et pratique de :
- Logique des propositions
- Logique des prédicats
- Théorie des ensembles et induction structurelle
- Logique de Hoare et Preuve de programmes
- Théorie des langages
- Expressions régulières
- Grammaires