|
|
Nástroj pro podporu migrace nastavení GNOME
Cepák, Jiří ; Weiss, Petr (oponent) ; Částek, Petr (vedoucí práce)
Tato práce studuje způsob uložení konfiguračních souborů v unixových operačních systémech, tedy umístění i obsah systémových i uživatelských konfiguračních souborů. Zabývá se také historií operačních systémů Unix a GNU/Linux a popisuje aplikaci, která uvádí poznatky této práce do praxe a umožňuje zálohování konfiguračních souborů a také jejich obnovu ze zálohy.
|
|
|
Booleovy algebry a teorie 1. řádu.
Cepák, Jiří ; Mlček, Josef (vedoucí práce) ; Pajas, Petr (oponent)
Budeme studovat Lindenbaumovy algebry a algebry definovatelných množin vybraných teorií prvního řádu: teorie konstant pro a, Presburgerovy, Robinsonovy, Peanovy a standardní aritmetiky, teorie následníka, teorie následníka s nulou, teorie hustého lineárního uspořádání bez konců, teorie diskrétního lineárního uspořádání, teorie náhodných grafů a teorie algebraicky uzavřených těles. Pro konečné algebry určíme počet jejich prvků, pro spočetné algebry určíme, zda jsou atomární či bezatomární a pro některé z nich provedeme klasifikaci až na isomorfismus pomocí algeber FA, ASA a CA. Za tímto účelem dokážeme několik obecných vět.
|
|
|
Radon-Nikodýmovy kompaktní prostory
Cepák, Jiří ; Spurný, Jiří (vedoucí práce) ; Holický, Petr (oponent)
V předložené práci studujeme Radon-Nikodýmovy kmpaktní prostory (krátce RN kompaty), jejich topologické charakteristiky a vlastnosti, a to zejména na ty, které souvisí s problémem spojitého obrazu RN kompaktu. První kapitola obsahuje pomocné výsledky. Ve druhé kapitole dokážeme osm charakterizací RN kompaktů a uvedeme několik příkladů. Ve třetí kapitole zavedeme tři zobecnění RN kompaktů a uvedeme několik příkladů. Ve třetí kapitole zavedeme tři zobecnění RN kompaktů, které jsou stabilní na spojité obrazy a dokážeme, že jde o ekvivalentní pojmy. V poslední kapitole uvedeme částečná pozitivní řešení problému spojitého obrazu.
|
|
|
Radon-Nikodýmovy kompaktní prostory
Cepák, Jiří ; Holický, Petr (oponent) ; Spurný, Jiří (vedoucí práce)
V předložené práci studujeme Radon-Nikodýmovy kmpaktní prostory (krátce RN kompaty), jejich topologické charakteristiky a vlastnosti, a to zejména na ty, které souvisí s problémem spojitého obrazu RN kompaktu. První kapitola obsahuje pomocné výsledky. Ve druhé kapitole dokážeme osm charakterizací RN kompaktů a uvedeme několik příkladů. Ve třetí kapitole zavedeme tři zobecnění RN kompaktů a uvedeme několik příkladů. Ve třetí kapitole zavedeme tři zobecnění RN kompaktů, které jsou stabilní na spojité obrazy a dokážeme, že jde o ekvivalentní pojmy. V poslední kapitole uvedeme částečná pozitivní řešení problému spojitého obrazu.
|
|
|
Booleovy algebry a teorie 1. řádu.
Cepák, Jiří ; Pajas, Petr (oponent) ; Mlček, Josef (vedoucí práce)
Budeme studovat Lindenbaumovy algebry a algebry definovatelných množin vybraných teorií prvního řádu: teorie konstant pro a, Presburgerovy, Robinsonovy, Peanovy a standardní aritmetiky, teorie následníka, teorie následníka s nulou, teorie hustého lineárního uspořádání bez konců, teorie diskrétního lineárního uspořádání, teorie náhodných grafů a teorie algebraicky uzavřených těles. Pro konečné algebry určíme počet jejich prvků, pro spočetné algebry určíme, zda jsou atomární či bezatomární a pro některé z nich provedeme klasifikaci až na isomorfismus pomocí algeber FA, ASA a CA. Za tímto účelem dokážeme několik obecných vět.
|
|
|
Nástroj pro podporu migrace nastavení GNOME
Cepák, Jiří ; Weiss, Petr (oponent) ; Částek, Petr (vedoucí práce)
Tato práce studuje způsob uložení konfiguračních souborů v unixových operačních systémech, tedy umístění i obsah systémových i uživatelských konfiguračních souborů. Zabývá se také historií operačních systémů Unix a GNU/Linux a popisuje aplikaci, která uvádí poznatky této práce do praxe a umožňuje zálohování konfiguračních souborů a také jejich obnovu ze zálohy.
|
host ::
RSS.