Couvre la façon dont les classes et les objets sont organisés en paquets, les importations, la hiérarchie des classes de Scala, les traits, les types supérieurs, le type Nothing, les exceptions et comprend un exercice sur la détermination de type.
Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.
Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.
Couvre la composition des fonctions, de la continuité et des fonctions élémentaires, expliquant le concept de continuité et la construction des fonctions élémentaires.
Explore la longueur de la courbe, la définition de la fonction, la continuité, les dérivées, les intégrales et les représentations graphiques des fonctions dans deux variables.