statnice
By: Martin Mikan
1 - Jazyk a sémantika predikátové logiky (termy, formule, realizace jazyka, pravdivost formulí),
2 - Formální systém predikátové logiky (axiomy a odvozovací pravidla, dokazatelnost, model a důsledek teorie, věty o úplnosti a kompaktnosti, prenexní tvar formulí),
3 - Algebraické struktury (grupy, okruhy, obory integrity a tělesa, svazy a Boolovy algebry, univerzální algebry)
...