תירגול 1 - מערכות אלגבריות, מבנים אלגבריים פשוטים: אגודה, מונואיד, חבורה.
תירגול 2 - תורת המספרים השלמים, ממג"ב וכמק"ב (gcd ו-lcm), תכונות ספציפיות של [math]\displaystyle{ \mathbb Z }[/math] ושל [math]\displaystyle{ \mathbb Z_n }[/math], אלגוריתם אוקלידס, מציאת הופכי מודולו n.
תירגול 9 - הצמדה, מחלקת צמידות, טיפוס של תמורה (=מבנה מחזורים של תמורה) ומחלקות צמידות ב-[math]\displaystyle{ S_n }[/math].
תירגול 10 - מיון חבורות אבליות סופיות, מֶרְכַּז של חבורה (Center, [math]\displaystyle{ Z(G) }[/math]), מְרַכֵּז של איבר בחבורה (Centralizer, [math]\displaystyle{ C_G (x) }[/math]), הקשר בין גודל מחלקת הצמידות של איבר לגודל הַמְּרַכֵּז שלו, נוסחת המחלקות.
תירגול 11 - שדות סופיים, בעיית הלוגריתם הדיסקרטי, אלגוריתם דיפי-הלמן.