Typové systémy programovacích jazyků obecně nerozumí externím datům. Ve staticky typovaných programovacích jazycích vývojáři pro práci s daty vytvářejí typy a přístupový kód buď ručně nebo s použitím externích nástrojů pro ...

V této práci provádíme důkaz Bassova Teorému P, věty charakterizující perfektní okruhy, pomocí elementárních nástrojů z teorie modulů a teorie kategorií. Dále uvádíme Bergmanův příklad okruhu, který je perfektní z právě ...

V této závěrečné práci se věnujeme různým paradoxům v celé jejich rozmanitosti. Na úvod čtenáře seznámíme s paradoxy týkajícími se nekonečna a jeho základní arit- metiky. Poté představíme několik geometrických a algebraických ...