ECTS
4
Établissement
INP - ENSEEIHT
Liste des enseignements
Probabilités
Établissement
INP - ENSEEIHT
Volume horaire
21h
Période de l'année
Automne
- 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
Logique et Preuves
Établissement
INP - ENSEEIHT
Période de l'année
Automne
– 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.
Math-Remise à Niveau
Établissement
INP - ENSEEIHT
Période de l'année
Automne
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.

