This thesis documents the history of descriptive geometry teaching in the Czech lands from its beginnings (i.e. from the 1830s) to the World War II. The center of the work is the description of development of descriptive geo- metry teaching at secondary schools, especially "Realschule�, supplemented with an analysis of Czech secondary school textbooks and a brief comparison between the situation in the Czech lands and foreign countries. Attention is also paid to the characterisation of descriptive geometry lectures at Czech and German polytechnics and universities in Prague, Brno and Příbram, inclusive of university textbooks. The work also mentions a brief global de- velopment of projection methods and a contribution of Czech geometers to the development of descriptive geometry. The thesis is supplemented with large factual and pictorial addenda.

The topic of this thesis concerns computer software for 3D modelling SolidWorks and its use for descriptive geometry problems creation. Descriptions of techniques of work in SolidWorks 3D parametric modeller are a part of this thesis, as well as the work with the software itself and description of problems being solved by it. Thesis also includes options of possible use of the final interactive gadget at basic and elementary schools. Moreover, in conclusion there is described to what extend it is appropriate to use SolidWorks software for descriptive geometry problem solving and when some problems might occur.

An aim of this diploma thesis is to create interactive descriptive geometry coursebook. As a basis for coursebook creation was used "Present State of Descriptive Geometry Education on High Schools Survey" which was proceeded via questionnaire. Before the creation of coursebook itself were made analyses of accessible textbooks, geometric softwares in use and possible environments for coursebook content presentation. A result is integrated part of subject matter taught on high schools complemented by solved examples and interactive applets created in software GeoGebra. The coursebook content is presented in a form of HTML sites on a public website http://www.sadsam.cz/dg/ and also as an off- line version on DVD disc enclosed.

We study families of small sets which appear in Harmonic analysis. We focus on the systems H(N) , N ∈ N, U and U0. In particular we compare their sizes via comparing the polars of these classes, i.e. the families of measures annihilating all sets from given class. Lyons showed that in this sense, the family N∈N H(N) is smaller than U0. The main goal of this thesis is the study of the question whether this also holds when the system U0 is replaced by the much smaller system U. To this end we define a new system H(∞) and systems of sets of type N where N ∈ N∪{∞}. We then prove some of their properties, which might be useful in solving the studied question. 1

We investigate F-Borel topological spaces. We focus on finding out how a complexity of a space depends on where the space is embedded. Of a particular interest is the problem of determining whether a complexity of given space X is absolute (that is, the same in every compactification of X). We show that the complexity of metrizable spaces is absolute and provide a sufficient condition for a topological space to be absolutely Fσδ. We then investigate the relation between local and global complexity. To improve our understanding of F-Borel spaces, we introduce different ways of representing an F-Borel set. We use these tools to construct a hierarchy of F-Borel spaces with non-absolute complexity, and to prove several other results. 1

Title: Reasoning in Description Logics Author: Mgr. Jaromír Malenko Department: Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Supervisor: Prof. RNDr. Petr Štěpánek, DrSc.; Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Keywords: Description logic, Reasoner, Cartesian product, Non-monotonic reasoning Abstract: We deal with several aspects of reasoning in Description Logics. First, since description logic (DL) is a subset of First Order Logic (FOL), we use a FOL reasoner to reason in DL. We implemented dl2fol, a DL reasoner that takes an ontology (a DL theory with rules), translates it into a FOL theory, passes this set of formulae to an underling FOL reasoner, and interprets the result in terms of given ontology. This is an effective method for reasoning with newly introduced language constructors. However, we observed longer running times and that satisfiability of some DL concepts wasn't proved due to FOL undecidability. Second, we extend two DLs by introducing new language construct: cartesian product (CP) of concepts and roles. This allows for expressing relationships, that are not expressible by other means in weaker DLs. We...

The descriptive grammar analyzes the North West variety of Lovari, i.e. the Hungarized Vlax dialect of Romani. The analysis is based upon fieldwork recordings and upon few written texts. The study presents the delimitation against related varieties and dialects, the sociolinguistic situation of the speakers, phonetics, phonology, phonetic alteration, and an overview of relevant grammatical categories. One chapter is dedicated to nominal and verbal morphology, to the use of forms, word formation and morphology of the preposition. The chapter on syntax describes non-morphological onomasiology, the structure of the noun phrase, presents frequent adverbs and modal, aspect, and discourse particles. The chapter on syntax continues with the clause structure, sentence types, the word order mechanisms, subordination and coordination. From a typological viewpoint, the language of the study is flective, employing several nominal and verbal inflectional classes, and agglutinative with respect to several morphological classes, such as case and tense marking. It is fusional in a sense, that number is cumulatively coded together with other features, with gender in nominal inflection, and with person in verbal inflection.

A synthetic approach to the construction of projective geometry, its methods and selected results are given in the proposed thesis. The main historical drawbacks of the original proof of Chasles's theorem for non-developable ruled surfaces and von Staudt's formalization of projective geometry are commented. The corre- sponding theoretical background is elaborated on visual demonstrations with the accent to interrelations of classical synthetic, axiomatic and analytic points of view. Synthetic methods of projective geometry and their mixture with analytic methods are described on examples including numerous alternative proofs and generalizations of some theorems. A method of four-dimensional visualization is introduced in details. Elementary constructions of images of points, lines, planes and 3-spaces are followed by models of polychora, their sections and shadows. Chasles's theorem is proven for non-developable ruled quadrics on synthetic vi- sualizations, then generalized and proven within the pure projective framework for algebraic surfaces. The synthetic classification of regular quadrics is derived from descriptive geometry constructions of sections of four-dimensional cones and analytically verified in the projective extension of the real space. An integral part of the thesis is a...

This master´s thesis aims to analyse the perception of online advertising by the Czech online population and its subsequent segmentation to provide recommendations on how to efficiently use online advertising tools in the Czech internet environment. The thesis is divided into three parts - theoretical, methodological and practical. The theoretical part describes the online advertising environment as such, defines the basic concepts and describes research methods used in the thesis. The methodological part delves deeper into these methods and justifies the reasons behind using them. Finally, the practical part offers detailed insights into the perception of online advertising through in-depth semi-structured interviews that have been further elaborated on and verified using the author´s own questionnaire-based quantitative research, representing the entire Czech online population. The obtained data is used to uncover segments in the Czech online population by means of factor and cluster analyses, after which the profiles of the segments are characterised using the contingency tables. Building on the findings, the final chapter provides recommendations on how best to use different types of online advertising and how to address the individual segments in the most efficient way.

1 Title: Collections of compact sets in descriptive set theory Author: Václav Vlasák Department: Department of Mathematical Analysis Supervisor: Doc. RNDr. Miroslav Zelený, Ph.D. Author's e-mail address: vlasakmm@volny.cz Abstract: This work consists of three articles. In Chapter 2, we dissert on the connections between complexity of a function f from a Polish space X to a Polish space Y and complexity of the set C(f) = {K ∈ K(X); f K is continuous}, where K(X) denotes the space of all compact subsets of X equipped with the Vietoris topology. We prove that if C(f) is analytic, then f is Borel; and assuming ∆1 2-Determinacy we show that f is Borel if and only if C(f) is coanalytic. Similar results for projective classes are also presented. In Chapter 3, we continue in our investigation of collection C(f) and also study its restriction on convergent sequences (C(f)). We prove that C(f) is Borel if and only if f is Borel. Similar results for projective classes are also presented. The Chapter 4 disserts on HN -sets, which form an important subclass of the class of sets of uniqueness for trigonometric series. We investigate the size of these classes which is reflected by the family of measures called polar which annihilate all the sets belonging to the given class. The main aim of this chapter is to answer in...