Pokud si chcete text práce nebo její případné přílohy stáhnout, klikněte na odkaz pravým
tlačítkem a zvolte volbu Uložit cíl jako. V opačném případě se může stát, že bude
Váš prohlížeč chtít soubor zobrazit rovnou a jeho načítání může zvláště
u větších souborů trvat dlouho.
Archiv prací pro 44. ročník SOČ
1. matematika a statistika
-
Intuicionistická logika a její modely
Autor/ři: Jan Engler
představit intuicionistickou logiku s důrazem na konstrukci modelů pomocí teorie kategorií
-
Medúzy a posloupnosti průměrů
Autor/ři: Zdeněk Pezlar
Cílem práce bylo studovat posloupnosti průměrů nad konečnými tělesy, zejména ve spojení s eliptickými křivkami. V první kapitole studujeme posloupnosti průměrů nad reálnými čísly, v dalších kapitolách stavíme teorii posloupností průměrů nad konečnými tělesy a propojíme ji s teorií eliptických křivek. Hlavním položeným cílem bylo rozšířit článek [1] -- pomocí jazyka Sage ověřit a dále teoreticky vylepšit jimi dané odhady.
-
Příspěvek k popisu všech tříprvkových relačních struktur až na pp-konstruovatelnost
Autor/ři: Jan Adam Zahálka
Tato práce má za cíl přiblížit se popisu všech tříprvkových relačních struktur definovatelných binárními a unárními relacemi až na pp-konstruovatelnost. Je známo že existuje 2 079 040 takových relačních struktur až na pp-definovatelnost, ale není známé kolik a jaké jsou až na pp-konstruovatelnost.
