Wprowadzenie do informatyki, arytmetyka i logika binarna, translacja wyrażeń arytmetycznych, algorytmika, maszyna Turinga, automaty skończone, języki sztuczne i gramatyki.