Couvre la représentation des entiers positifs, la notation binaire, les limitations de la machine, le débordement et la représentation des points flottants.
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.
