|
|
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.
|
|
|
Linear Diophantine equations and congruences
Kaňáková, Natálie ; Beran, Filip (advisor) ; Jančařík, Antonín (referee)
This bachelor's thesis summarizes and systematizes knowledge about congruences and linear Diophantine equations. This work is divided into two parts. The first part is dedicated to congruences. At first, it shows where we can find congruences in real life, congruence as a relation, its properties, and applications in calculating the last ciphers of large numbers, proofs of divisibility rules, or calculating the date of Easter. Afterward, we look into congruences containing unknowns - linear congruence equations. It looks into methods of solving linear congruences and illustrates them in exercises. The last topic of the first part is oriented on systems of linear congruences and the Chinese remainder theorem, both for non-coprime and coprime moduli, the algebraic version, applications in various types of problems, and modular representation of numbers. The second part of this thesis is dedicated to linear Diophantine equations - equations with integer solutions. It shows various methods of solving linear Diophantine equations with two, three, or more unknowns - the extended Euclidean algorithm, reduction method, substitution method, and others. This part also describes the relationship between linear congruences and linear Diophantine equations and the use of this relationship in solving both linear...
|
|
|
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
|
|
| |
guest ::
