Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
Explore le formalisme thermodynamique pour les systèmes dynamiques en expansion faiblement grossière, couvrant les états d'équilibre, les paramètres visuels et le codage symbolique.
Explore les actions de groupe sur des ensembles à travers des homomorphismes et des produits cartésiens, illustrant leurs propriétés et définitions équivalentes.
Couvre les bases de la théorie des ensembles, y compris les ensembles, les éléments, les opérations, les ensembles vides et les ensembles de définition basés sur les propriétés.
