Axiomy teorie množin, relace, uspořádání, ekvivalence množin, podobnost množin, princip dobrého uspořádání, axiom výběru, princip maximality, ordinální a kardinální čísla.
Pologrupy, grupy, cyklické grupy, kongruence, faktorgrupoidy, homomorfismy, normální podgrupy, grupy permutací. Okruhy, obory integrity, tělesa, kongruence, faktorokruhy, homomorfismy, ideály, moduly, lineární algebry, podílové těleso, charakteristika, prvotěleso, okruhy polynomů nad komutativními tělesy, konečná tělesa, elementy teorie čísel. Svazy, úplné svazy, ideály, filtry, distributivní a modulární svazy, Booleovy algebry.
Algoritmy a algoritmicky vyčíslitelné funkce, Markovovy normální algoritmy, Turingův stroj, rekurzívní funkce, rekurzívní a rekurzívně spočetné množiny, aritmetizace, predikáty, s-m-n teorém, produktivní a kreativní množiny, algoritmicky neřešitelné problémy.
Výroky, tautologie, axiomatizace, teorémy, bezespornost, úplnost a rozhodnutelnost výrokového kalkulu. Relační struktury, matematické teorie prvního řádu, termy, formule, tautologie, axiomatizace, teorémy, splňování, pravdivost, model, bezespornost, úplnost, nerozhodnutelnost predikátového kalkulu, neúplnost aritmetiky.
Generativní gramatiky, Chomského klasifikace, jazyky typu 0 a rozeznávací Turingovy stroje, kontextové jazyky a lineárně omezené automaty, bezkontextové jazyky a zásobníkové automaty, jazyky typu 3 a konečné automaty, regulární jazyky, vlastnosti uzavřenosti a algoritmické problémy, Mealyovy a Mooreovy sekvenční automaty, algebraická teorie, analýza, syntéza a minimalizace sekvenčních automatů.
Bezpečnostní kódy, objevování a opravování chyb, minimální vzdálenost kódu, informační a kontrolní znaky, kódování informačních znaků, lineární kódy, generující a kontrolní matice, Hammingovy kódy, Golayův kód, cyklické kódy, BCH kódy, Reedovy-Mullerovy kódy.
Entropie jako míra informace, prefixové kódy, Kraftova nerovnost, McMilanova věta, nejkratší kód. Kódy objevující a opravující chyby, minimální vzdálenost kódu, informační a kontrolní znaky, kódování informačních znaků, lineární kódy, generující a kontrolní matice, standardní dekódování, Hammingovy kódy, cyklické kódy.