OUTILS D'INGENIERIE 1

- Evènements, probabilités, dénombrement
- Variables dsicrètes et continues ; lois standards

- Vecteurs aléatoires
- Vecteurs gaussiens
- Loi des grands nombres

- Théorème de la limite centrale

Voir la page complète

– Logique des propositions et des prédicats.
– Démonstration de tautologies en utilisant la déduction naturelle et le principe de résolution.
– Induction sur les ensembles.
– Induction structurelle de Burstall.
– Application à la preuve de programme récursifs par induction.
– Présentation et utilisation d’un assistant de preuve.

Voir la page complète

Rappels sur la logique propositionnelle, la théorie des ensembles, les limites et continuités de fonctions, les primitives et les intégrales et aussi que les équations différentielles.

Voir la page complète