|
|
Private High Schools in Czech Republic
Němečková, Eva ; Deverová, Lenka (advisor) ; Pajas, Petr (referee)
The work is focused on Czech private high schools, non-profit (OPS) and commercial (Ltd., Inc.), their common features and differences in the operation. Emphasis will be placed on the typology of these schools, their mode of financing and management principles on which different types of school costs. The aim of the work will determine the status of OPS schools compared to other types of private schools and the opportunities for private schools in the CR in terms of their management and financing . The source of information will be legislation, statisticaldata, annual reports and documents the organization of Ministry of Education and the Accreditation Commission for CR, thesis will be therefore based on an analysis of documents.
|
|
|
Foundations in Central Europe: The Comparative Analysis of the Sector of Foundations in the Czech Republic, Bavaria and Hungary
Vilham, David ; Pajas, Petr (advisor) ; Deverová, Lenka (referee)
The main aim of this work is to analyze the development of the foundations sector in three countries, in the Czech Republic, Hungary and Bavaria. From methodological point of wiew it is conceived as a comparative study. The main goal is the analysis of the development of foundations in these countries, especially after the year 1989 which meant a possibility to reestablish the foundations as a full-fledged institutions of civic society. Main theoretical basis of the work is the assumption, that the interruption of natural development of foundations in the Czech Republic and Hungary after the year 1948 had significant effects on their restoration and function after the year 1989. The work aims to analyze different approaches to restoration of foundations in the Czech Republic and Hungary and to compare their different initial conditions with the conditions in Bavaria, where the development of foundations in democratic environment with the exception of the era of Nazi Germany wasn't broken. Keywords: Foundation, development, comparison, Czech Republic, Hungary, Bavaria, communism, funding, legislation, public benefit
|
|
|
PML Visualization
Novák, Michal ; Pajas, Petr (referee) ; Novák, Václav (advisor)
The subject of this work is the application PMLViewer. This application is designed for visualization of files in PML format. It is able to draw dependency and constituency trees described in this format and in addition it offers a possibility to modify visual parameters. These visual changes can be stored in Visual PML format, which is also specified in this work. Furthermore, this application permits the export of displayed trees into various vector and raster image formats.
|
|
| |
|
|
Limit ultrapower and non-regular universe
Klimeš, Martin ; Pajas, Petr (referee) ; Mlček, Josef (advisor)
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter and a partition system. This construction provides a complete characterization of the internal universe in models of nonstandard set theory: we prove that bounded part of an elementary extension of a set universe is given by suitable partition ultrapower. Our special interest is in models where a weak form of standardization holds. The Rudin-Keisler preorder on ultrafilters is defined on partition systems on ultrafilters such that it corresponds to embeddings of related partition ultrapowers, whereas Rudin-Frolík ordering characterizes those embedddings which are standardizable. Finally, the problem whether set-many elements are always enough to generate the internal universe from its standard part is considered. It's shown that the existence of a narrow elementary extension which doesn't rise from adjunction of set-many elements implies an existence of highly nonregular ultrafilters, and thus is equivalent to a large-cardinal hypothesis.
|
|
|
Weak arithmetic theories and their models.
Glivický, Petr ; Pajas, Petr (referee) ; Mlček, Josef (advisor)
In the present thesis we study arithmetical theories in the language of arithmetic L extended by one binary functional symbol for exponentiation. For arbitrary theory in the language of arithmetic it is possible todefine its extension in this new language Le by adding axioms postulatingbasic properties of exponentiation. We consider two axiomatic systems for exponentiation - Exp1 and Exp2. Thus exponentiation is always defined axiomatically in the theories we deal with. We show that in such theories the Fermat's last theorem is unprovable no matter how strong the original theory is. In the thesis we develop a general method of construction of exponential function. This method subsists of "splitting some original exponential function in shorter segments and of rearranging them to form new exponential function which satisfies required properties. As an application of this method three independence results for stronger variants of negation of Fermat's last theorem are prooved. As a first result we construct model of theory Ar + Exp1 defined in the thesis in which the equation x + y = z has nonzero solution for cofinally many 's. The second result allows to expand an arbitrary model of I1 to model of theory Exp2 in which again Fermat's theorem is violated by cofinally many 's. The third result is a construction...
|
|
| |
|
|
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.
|
|
|
The effect of democratization on the state of civil society in Cambodia between 1991 to 2015
Rostek, Ondřej ; Pajas, Petr (advisor) ; Benyovszky, Selma (referee)
This dissertation deals with the civil society in Cambodia, according to the democratization of the country. After the turbulent times that were full of bloody conflicts the country in 1991 initially joined the path of democracy, but soon after that the governing regime shifted the orientation of the country toward authoritarianism. This complicated situation in the country after several decades was making the existence of civil society and western type non-profit sector impossible. Also, the situation concerning civil and political freedoms in the country was very controversial. The aim of the thesis is, through a secondary source analysis to describe the structure of civil society and the obstacles that it must deal with, in the background of the democratization process of the country.
|
|
|
Conversion of formatting objects to ODF
Bodnár, Petr ; Kosek, Jiří (advisor) ; Pajas, Petr (referee)
This thesis deals with conversion of text documents from the format of so called formatting objects (XSL FO) to OpenDocument format (ODF). This conversion can be useful e. g. for distribution, printing or additional modification of a document in a text editor which supports ODF (e. g. OpenOffice). The thesis starts with description of both formats and it mentions basic elements that the formats offer for defining a text document. A comparison of both formats and description of possibilities of converting documents from XSL FO to ODF follows right after. The proved-by-practise and widely available XSLT transformation is chosen for the conversion implementation. It is illustrated on a sample application which enables to launch the conversion from an internet browser, from OpenOffice or from a command line.
|
guest ::
