Description

Probabilités combinatoires

Épreuves, événements, lois de probabilité, probabilités conditionnelles, indépendance, essais répétés.

Calcul booléen

Fonctions booléennes, forme canonique disjonctive.

Systèmes d'équations booléennes.

Simplification des formules, méthode de Karnaugh.

Logique

Calcul propositionnel

Propositions, connecteurs, forme propositionnelles.

Prédicats, quantificateurs.

Récurrences, définitions récursives

Finalité

Maîtriser les outils de base des mathématiques pour l'informatique

Compétences visées

Manipulation des concepts de l’informatique théorique

Public

/