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 de travail avec des chaînes en C++, y compris la déclaration, l'initialisation, les caractères, l'assignation, la concaténation et la comparaison.
Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.