Séances de cours associées à Preuves formelles: vérification des invariants et des modèles liés

Analyse IV : Ensembles et propriétés mesurables

Couvre le concept de mesure externe et les propriétés des ensembles mesurables.

Bits quantiques : illustrations et postulats

Explore des bits quantiques, y compris des illustrations, des postulats et des exemples de systèmes quantiques et d'espace Hilbert.

Calcul proposé

Couvre les bases du calcul proposé et son importance dans l'informatique.

Zone: Axiomes et Rectangles

Couvre le concept de zone, axiomes, et la zone de rectangles.

Propositions inductives : comprendre l’évaluation dans Coq

Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.