Couvre les bases de la programmation, y compris les types, les variables, les méthodes, les fonctions, les conditions, les boucles et la logique booléenne.
Couvre les concepts fondamentaux des boucles et itérations dans la programmation, y compris les boucles conditionnelles, pour les boucles, tandis que les boucles, cassent et poursuivent les énoncés.
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.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Explore les fonctions, les méthodes, la réutilisabilité et la modularisation dans la programmation, couvrant la décomposition, les structures de contrôle, la récursion et les ellipses pour les arguments variables.
