Séances de cours associées à Trusted computing base

Couvre la gestion des exceptions en Python, y compris try, raise, except, else, et enfin blocks, avec des exemples.

Atelier Coq: Types de données inductives et preuves

Couvre la définition d'un type de données inductives dans Coq et la façon de construire des preuves de manière interactive en utilisant des tactiques.

Portraits de phase et modèles Predator-Prey

Explore les portraits de phase dans les systèmes 2D et la dynamique des modèles prédateurs-proies.

Listes de Python : Manipulation et Compréhension

Couvre la manipulation et la compréhension de la liste Python, mettant l'accent sur la représentation de la mémoire et la mutabilité.

Fusionner Trier: Tri Algorithme

Explique l'algorithme de tri de fusion, son exactitude et sa complexité temporelle par rapport à d'autres algorithmes de tri.