|
|
Congruences for Tree Automata
Žufan, Petr ; Janků, Petr (referee) ; Holík, Lukáš (advisor)
This thesis discusses testing of tree automata (TA) equivalence. We propose a new algorithm based on Bonchi Pouse's algorithm of word automata. The new algortihm combines bisimulation and determinization on the fly. Using an optimalization based on congruence closure, we try to avoid extreme expansion of state space. From this point of view, the new algorithm is better than others.
|
|
| |
|
|
Interesting prime numbers and their properties
KRATOCHVÍL, Daniel
The aim of this bachelor thesis is to introduce special kinds of prime numbers to the reader. The thesis is divided into four parts. The first, introductory, one deals with the definition of prime numbers, provides some basic information about them, and offers one of the methods for finding the prime numbers. The following two parts focus on special kinds of prime numbers, the former of them contains those kinds of prime numbers which are named after famous mathematicians. The latter part is concern with prime numbers which are special for their unique attribute. In the closing part there are some exercises either with or without their solution.
|
|
|
Application of the Person-Centered Approach (PCA) principles in management
Mitaczová, Jana ; Junková, Vendula (advisor) ; Loneková, Katarína (referee)
The basic objective of the theoretical part of this diploma thesis is to present Rogers' Person- centred Approach (PCA) in terms of its development, theory, basic principles and potential applications out of therapeutical context, with emphasis on leadership. The first chapter is devoted to general knowledge of the PCA and in the second chapter there is a more detailed description of possible applications of the PCA in management. The basic objective of the empirical part is to verify the relationship between main necessary conditions of PCA in people management (respectively in person-centered leadership) and employees' organizational commitment. The quantitative research in the form of correlation study has been carried out on a sample of 63 respondents, employees of various organizations in various fields. Barrett-Lennard Relationship Inventory (BLRI) and Organizational Commitment Questionnaire (OCQ) were used as research methods. The results show the significant correlation between organizational commitment and measures of empathic understanding, congruence, and level of regard expressed by managers towards employees. The significant relationship between organizational commitment and unconditionality has not been confirmed. Besides the hypotheses linked to the basic goal there are some other...
|
|
|
The search for complete humanity: From the Perspective of Mysticism and Humanistic Psychotherapy
Vaněk, Matěj ; Macek, Ondřej (advisor) ; Hošek, Pavel (referee)
The diploma th sis is conc rn d with uncov ring th full sp ctrum of humanity through th prism of mysticism and humanistic psychoth rapy. The author s parat s th cont nt into thr s ctions. In th firrst h roots his thoughts in th mysticism of Doroth Söll and h r book The Sil nt Cry: Mysticism and R sistanc , which l nds th th sis th qualiti s of mystical spirituality in th mundan and v ryday lif . From th book th author focus s on th mystical path of "The s lf and th lib ration from th s lf" that invit s th conc pt of go, consum rism and th r lationship toward th inn r cor of th human. The s cond s ction xplor s th th rap utic contribution of humanistic th rapists Virginia Satir and Carl Ransom Rog rs. The auth r introduc s th ir th rap utic mod ls in thr chapt rs: The D v lopm nt of th Mov m nt, The Human Imag and The The rap utic Proc ss and Goal. The th sis is thus imbu d with conc pts aiding fulfirlm nt of a Human Lif : a human r lationship, congur nc and th importanc of s lf- knowl dg ; congru nc b ing th k y t rm inviting spiritual mom nts into th quasion. The third s ction outlin s a shar d spac for mysticism and humanistic psychoth rapy. The author introduc s th ‚mystical human' in cont mporary postmod rn atmosph r , conn cting th discov ri s from th firrst two s ctions of th th sis. The...
|
|
|
Quantified subjects and their agreement with the predicate
Jochová, Marie ; Giger, Markus (advisor) ; Stranz-Nikitina, Veronika (referee)
The bachelor thesis deals with the subject-predicate agreement in sentences with a quantified subject. The theoretical part informs the reader about the general issue of agreement, and shows its various forms in the Czech and Russian languages. It also summarizes the basic knowledge of the predicate agreement with a quantified subject in Russian, and maps the factors that influence this agreement. It focuses only on the predicate number, which is exactly in these cases variable. The practical part verifies findings from the theoretical part with the help of data from the Russian national corpus. Four factors have been verified, which should influence the predicate number. These were: word order, animacy, agentivity of the subject and quantifier itself. The corpus data have shown that the word order and quantifier have a fundamental influence on the predicate number. The animacy has a significantly lower impact and the agentivity of the subject is negligible.
|
|
|
Analysis of the behaviour of selected states in the South China Sea
Jetelinová, Denisa ; Kučerová, Irah (advisor) ; Karásková, Ivana (referee)
The South China Sea has been already for several centuries the root of a dispute among states neighbouring along its borders, namely the People's Republic of China (China), Vietnam, the Philippines, Indonesia, Brunei, and Malaysia. Since the Sea is very geopolitically and geostrategically important, China attempts to claim itself to be a sovereign. However, its activities face the demands of other states, especially Vietnam and the Philippines, which are also interested in gaining control over the islands in the South China Sea. For that reason, the dispute still persists, and the continuous activities of all concerned countries have created an endless spiral of events in which it is difficult to distinguish between the action and the reaction of individual actors in the dispute. My diploma thesis therefore focuses on the analysis of actions of the three selected countries, China, Vietnam, and the Philippines, from the perspective of structural realism that is split into two contradictory streams, defensive and offensive. Their different views on the world help me to clarify whether the behaviour of the chosen actors is defensive of offensive. For the analysis, the period from 2011 to 2018 was chosen. During that time, several major incidents have appeared between selected countries, especially...
|
|
|
Cubic and biquadratic reciprocity
Staško, Samuel ; Příhoda, Pavel (advisor) ; Krásenský, Jakub (referee)
The main motivation for studying cubic and biquadratic reciprocity is to de- cide, whether the congruences x3 ≡ a (p) or x4 ≡ a (p), where a ∈ Z, p prime, have any integer solution. The core of this thesis will be to prove the laws of cubic and biquadratic reciprocity through gradually built theory in the rings of Eisen- stein and Gaussian integers. In addition, for both of these theorems, we will take a closer look at the special cases, in which they cannot be used. This will lead us to the derivation of the supplement to the law of cubic (or biquadratic) re- ciprocity. Finally, we will show how these results can be applied to the problem of solvability of mentioned congruences. 1
|
|
|
Affine mappings and transformations in the plane with solved examples
Barborka, Lukáš ; Zamboj, Michal (advisor) ; Jančařík, Antonín (referee)
Analytical geometry widely uses the apparatus of linear algebra, it is, of course, its natural application. The aim of this thesis is the theoretical interconnection, for many students still abstract, bases of the linear algebra with their practical application in the analyti- cal geometry, especially in affine transformations and their use in the solved examples in the plane. This thesis is intended to put concepts known from the course of Linear algebra (homomorphism, eigenvalues/eigenvectors, orthogonal matrices, transition matri- ces...) into context with practical using in the analytical geometry, whether in the form of proofs of important theorems using the linear algebra and arithmetic apparatus, or the following solved examples. The aim of the examples is to provide some insight or guidance on the solution of the same or analogous tasks. The theory and examples are in some cases supplemented with illustrations for better clarity. The work is divided into several parts for greater clarity. The introduction is repeated important concepts of linear algebra such as group, field, vector space, Euclidean space, linear mapping (homomorphism), change of coordinates matrix, eigenvalue/eigenvector of the matrix. It also switches to affine point space, affine coordinate system, transformation equation for...
|
|
| |
guest ::
