|
|
Tools for Migration of GNOME's Settings
Cepák, Jiří ; Weiss, Petr (referee) ; Částek, Petr (advisor)
This work studies the way of saving configuration files in Unix-like operating systems, so the location and content system and also user configuration files. This work also studies the history of operating system Unix and GNU/Linux and describes aplication, that implements gained experience and makes possible to save configuration files and also restore from backup.
|
|
|
Boolean algebras and first order theories.
Cepák, Jiří ; Mlček, Josef (advisor) ; Pajas, Petr (referee)
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories: constants theory for a, Presburger, Robinson, Peano and standard arithmetic, successor theory, successor theory with zero, theory of dense linear orders without endpoints, theory of discrete linear orders, random graph theory and theory of algebraically closed fields. For finite algebras we will determine their cardinality, for countable algebras we will determine whether they are atomic or atomless and for some of them we will carry out classification up to isomorphism using algebras FA, ASA and CA. For this purpose we will prove several general theorems.
|
|
|
Radon-Nikodým compact spaces
Cepák, Jiří ; Spurný, Jiří (advisor) ; Holický, Petr (referee)
In the present work we study Radon-Nikodým compact spaces (RN compacta for short) their topological characterizations and properties with emphasis on those related to the problem of continuous image of RN compact. First chapter consists of auxiliary results. In second chapter we give eight characterizations of RN compacta as well as several examples. In third chapter we introduce three notions weaker than that of RN compact and stable under continuous images and we show that they are equivalent. Last chapter is devoted to partial positive solutions to the problem of continuous image.
|
|
|
Radon-Nikodým compact spaces
Cepák, Jiří ; Holický, Petr (referee) ; Spurný, Jiří (advisor)
In the present work we study Radon-Nikodým compact spaces (RN compacta for short) their topological characterizations and properties with emphasis on those related to the problem of continuous image of RN compact. First chapter consists of auxiliary results. In second chapter we give eight characterizations of RN compacta as well as several examples. In third chapter we introduce three notions weaker than that of RN compact and stable under continuous images and we show that they are equivalent. Last chapter is devoted to partial positive solutions to the problem of continuous image.
|
|
|
Boolean algebras and first order theories.
Cepák, Jiří ; Pajas, Petr (referee) ; Mlček, Josef (advisor)
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories: constants theory for a, Presburger, Robinson, Peano and standard arithmetic, successor theory, successor theory with zero, theory of dense linear orders without endpoints, theory of discrete linear orders, random graph theory and theory of algebraically closed fields. For finite algebras we will determine their cardinality, for countable algebras we will determine whether they are atomic or atomless and for some of them we will carry out classification up to isomorphism using algebras FA, ASA and CA. For this purpose we will prove several general theorems.
|
|
|
Tools for Migration of GNOME's Settings
Cepák, Jiří ; Weiss, Petr (referee) ; Částek, Petr (advisor)
This work studies the way of saving configuration files in Unix-like operating systems, so the location and content system and also user configuration files. This work also studies the history of operating system Unix and GNU/Linux and describes aplication, that implements gained experience and makes possible to save configuration files and also restore from backup.
|
guest ::
RSS feed.