Objectif de la séance :

• Consolider les notions fondamentales de mathématiques discrètes appliquées à l’informatique.

  Nous aborderons ensembles, relations, fonctions, induction simple et structurelle, ainsi que le calcul des propositions et des prédicats. L’objectif est de vous donner les clés pour raisonner logiquement et préparer efficacement l’examen de la matière Outils formels pour l'informatique

Au programme :

• Correction collective et commentée d'exercices

• Mise en pratique de l’induction simple et de l’induction structurelle

• Résolution guidée d’équations de récurrence linéaires et de certaines non linéaires

• Traduction d’énoncés en langage naturel vers la logique du premier ordre

• Introduction au calcul des propositions et des prédicats

• Session FAQ

Public visé

• Étudiants et praticiens de tous niveaux : débutants curieux et enthousiastes d'informatique théorique

• Aucun prérequis strict autre que des notions de base en mathématiques et en logique, de la curiosité et l’envie de réussir.

Rejoignez-nous pour tirer le meilleur parti de cette révision intensive et franchir l’examen avec sérénité !