Couvre le théorème de la valeur intermédiaire, les propriétés des fonctions, la continuité, la recherche des racines et les concepts de différenciation.
Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.
Explore l'intersection entre les humanités numériques et les études de jeu, en mettant en évidence divers projets de recherche et en soulignant la nature interdisciplinaire de la recherche dans ces domaines.
