Explore les techniques de collecte des ordures dans des langages orientés objet, en se concentrant principalement sur la copie et la génération GC, l'organisation des tas, les politiques de promotion et les défis de répartition des méthodes.
Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Explore le triomphe du déterminisme dans la mécanique moderne et la méthodologie du développement scientifique, avec des exercices pratiques sur l'estimation de l'utilisation du masque chirurgical et l'analyse de l'énergie de la bombe atomique.
