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.
