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.
Couvre les bases des nombres réels et de la théorie des ensembles, y compris les sous-ensembles, les intersections, les syndicats et les opérations des ensembles.
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.
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.
