Jan Mareš

Algebra

Skripta jsou učebním textem k přednášce "Algebra", která je jednosemestrální, s rozsahem čtyři hodiny týdně. Text pojednává o obecných algebraických strukturách jakožto množinách vybavených algebraickými operacemi. Po úvodu do teorie množin se definuje grupoid, jeho specializací dostaneme grupu, na jejímž základě dospějeme k okruhům a tělesům, a také k modulům a k lineárním algebrám. Z trochu

Jazyky, gramatiky a automaty

Matematická logika

Tato skripta mají sloužit jako učební text k přednášce Vyčíslitelnost a matematická logika, a to k té její části, ve které se probírají základy matematické logiky. Přednáška por studenty 3. ročníku, je určen azejména pro zaměření Softwarové inženýrství a Tvorba software na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze. Obsah skript odpovídá látce odpřednášené během jednoho semestru v