Langages formels : ConceptsCouvre les concepts fondamentaux des langues formelles, y compris les alphabets, les mots, les langues et l'égalité des mots.
Nombres naturelsCouvre le concept de nombres naturels, y compris des propriétés telles que la commutativité et l'associativité.
Théorie de groupeIntroduit les bases de la théorie de groupe, y compris les opérations, les propriétés, et les groupes de Lie.
Multiplication des matricesCouvre la multiplication matricielle, les propriétés et la matrice d'identité dans les opérations algébriques.