Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.
Explore la conversion de programmes impératifs en formules, y compris les conditions de vérification, la construction de formules et les structures de flux de contrôle.
Introduit des bases de programmation et des structures de contrôle, mettant l'accent sur la pratique pratique pratique pour la préparation des examens et le travail de projet.
Explique la traduction de for-expressions en Scala à l'aide de fonctions map, flatmap et filter, avec des exemples et une discussion sur sa généralisation à différents types.
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.
