A102 – Mathématiques de l’informatique

Posted by admin  at juin 7th, 2012

Objectifs :

• Développer les fondements mathématiques qui seront utilisés dans certains modules d’informatique

Contenu :

• Ensembles et relations. Relations binaires, d’ordre et d’équivalence. Ensembles ordonnés, treillis, algèbre de Boole, fonctions booléennes.
• Logique formelle : calcul des propositions et calcul des prédicats, système formel, les preuves en logique, déduction, aperçu sur les méthodes de démonstration automatique.
• Complexité, décidabilité, calculabilité.
• Lambda calcul.
• Optimisation. Convexité