Browsing Mathematics by Title
-
Milošević, Bojana (Beograd , 2016)[more][less]
Abstract: Goodness of t and symmetry tests occupy a signi cant part of nonparametric statistic. Most of classical tests are based on the distance between the assumed distribution function and its consistent estimate, empirical distribution function. The symmetry tests are analogously constructed. A new approach that is especially attractive in recent years is making tests based on characterizations of di erent types. Those tests use U-empirical distribution functions (generalized empirical ones), U-empirical transforms (eg. Laplace transform, characteristic functions etc.) and U-empirical moments of distributions. The main advantage of these tests is that they are often free of some distribution parameters. Therefore they are suitable for testing composite hypothesis. For purpose of comparison of tests the Bahadur e ciency has become very popular. One of the reasons is that it does not require the asymptotic normality of test statistics. In addition, Bahadur and Pitman e ciencies very often locally coincide. It turns out that for determining Bahadur e ciency it is necessary to nd large deviations function under null hypothesis. If that is not possible, usually the approximate Bahadur e ciency is used. It requires the existence of asymptotic distribution and the asymptotic behavior of its tail under null hypothesis, and the limit in probability under alternative distribution. The goals of the thesis are the construction of new goodness of t and symmetry tests based on U-statistics and V -statistics, deriving the asymptotic distribution of proposed statistics, their large deviation functions and Bahadur e ciencies or their approximations. The thesis is divided into two parts. The rst part consists of three chapters. In the rst chapter the theory of U-statistics and V -statistics as well as U-empirical and V -empirical distribution function and some other empirical transforms is presented. The second chapter is devoted to the U-statistics and V -statistics with estimated parameters. The third chapter deals with asymptotic e ciency of nonparametric tests. Most of the chapter is devoted to Bahadur e ciency. In the same chapter the large deviation function for a new class of tests statistics is derived. This result is presented in [69]. The second part, which starts with the fourth chapter, is dedicated to new tests based on U-statistics and V -statistics. In the fourth chapter some type of characterizations which are used within the next chapters for construction of tests are presented. They include characterizations based on equidistribution of some statistics among which the characterizations of symmetric distributions stand out, then those based on functional equations that the distribution function satis es, those based on the independence of statistics and those based on moments. Two new characterizations of symmetric distributions are also presented. The fth chapter deals with new goodness of t tests. There are four new exponentiality tests, two new goodness of t tests for a family of Pareto distribution, as well as two new goodness of t tests for logistic distribution (see [66], [69]). Also one new class of uniformity tests which can be used as goodness of t test for any predetermined continuous distribution is proposed (see [67]). The sixth chapter is devoted to new symmetry tests. Five new symmetry tests are proposed. In the seventh chapter there are new exponentiality tests based on U-statistics and V -statistics with estimated parameters. A special attention is given to new tests based on U- empirical Laplace transforms. Beside those, some tests based on U-empirical moments are also presented. For new presented tests local Bahadur and/or Pitman e ciency is calculated. In the nal chapter, a brief review of some applications in time series analysis is shown. URI: http://hdl.handle.net/123456789/4470 Files in this item: 1
BojanaMilosevic_doktorat.pdf ( 1.897Mb ) -
Mikić, Marija (Beograd , 2017)[more][less]
Abstract: The subject of this dissertation is the investigation of asymptotic properties of solutions for di erential equations of Emden-Fowler type and their generalizations. The eld to which this dissertation belongs is a Qualitative theory of ordinary di e- rential equations. Emden-Fowler di erential equation has the form (t u0(t))0 t u (t) = 0 ; where ; ; 2 R. With some changes of the variables, this di erential equation can be reduced to the equations y00 xay = 0 and y00 + xay = 0. Firstly, in this dissertation, the di erential equation y00 = xay ; where a; 2 R was observed. The conditions, which provide that this equation has in nitely many solutions de ned in some neighborhood of zero, were described here, both with the conditions, which guarantee the existence of in nitely many solutions with certain asymptotic behavior. Also, a complete picture of asymptotic behavior of solutions of equation along the positive parts of both axes is given. The conditions, which assure existence and unique solvability of solution of the Cauchy problem for this equation, were shown in the cases when the familiar theory can't be applied. In some cases, asymptotic formulas for solutions were obtained. The di erential equation y00 = xay ; where a 2 R i < 0 ; has also been taken into consideration. The conditions, which assure the existence of in nitely many solutions of observed equation tending to zero as x ! 0+, were obtained. The conditions, which assure the unique solvability of the Cauchy problem for generalized Emden-Fowler equation y00 = q(x)f(y(x)); lim x!0+ y(x) = 0; lim x!0+ y0(x) = ; were described, for any > 0 and functions f and q which satisfy certain conditions. The given results generalize the results both for sublinear Emden-Fowler di erential equation (i.e. case when 0 < < 1) and the case when < 0. In literature, it is very rare to nd the conditions for di erent values of the para- metar which appears in the equations of Emden-Fowler type. In this dissertation, the results for sublinear and superlinear di erential equation Emden-Fowler, as well as the case when < 0, are presented. Therefore, the story of the asymptotic be- havior of solutions of the observed equation is "almost complited". URI: http://hdl.handle.net/123456789/4655 Files in this item: 1
Marija_Mikic_disertacija_MTF.pdf ( 1.461Mb ) -
Knežević, Julka (Belgrade)[more][less]
-
Timotijević, Marinko (Beograd , 2019)[more][less]
URI: http://hdl.handle.net/123456789/4818 Files in this item: 1
Disertacija_Marinko_Timotijevic.pdf ( 1.189Mb ) -
Tasković, Milan (Belgrade)[more][less]
-
Pavlović-Lažetić, Gordana (Belgrade)[more][less]
URI: http://hdl.handle.net/123456789/45 Files in this item: 1
phdGordanaPavlovicLazetic.pdf ( 4.791Mb ) -
Ilić-Dajović, Milica (Belgrade , 1965)[more][less]
-
Zekić, Mladen (Beograd , 2021)[more][less]
Abstract: Central place in this thesis occupy the coherence results for certain types of closed categories. Coherence results in category theory usually serve to provide a simple decision procedure for equality of arrows in some category. The approach to coherence that we follow here implies the existence of a faithfull functor from a freely generated category A of certain type to the category B in which an equality of arrows can be easily checked. Category B, which is of the same type as A, usually represents formalisation of some graphical language. Besides coherence, the second most important notion we consider in this thesis is the biproduct. The notion of biproduct in a category incorporates notions of coproduct and product. The main results in this thesis are coherence theorems for three types of closed categories with biproducts – symmetric monoidal closed categories with biproducts, com- pact closed categories with biproducts and dagger compact closed categories with dagger biproducts. Further, we present a new proof of the well-known Kelly-Mac Lane coherence theorem for symmetric monoidal closed categories. The methods we use in that proof are completely proof-theoretical, and one of the key elements in it is the cut-elimination theorem. In all the above coherence results, the graphical language is based on the category of one-dimensional cobordisms. Finaly, we give certain criteria for existence of biproducts in monoidal categories. In this regard, we rely on recent research that characterizes certain type of monoidal categories with finite biproducts by using the existence of right duals of some distinguished objects. Our criteria are a generalization of this result. URI: http://hdl.handle.net/123456789/5307 Files in this item: 1
mladen.zekic.disertacija.pdf ( 1.018Mb ) -
Atanasijević, Ksenija (Belgrade)[more][less]
URI: http://hdl.handle.net/123456789/183 Files in this item: 1
phdKsenijaAtanasijevic.pdf ( 1.987Mb ) -
Arsenović, Mihajlo (Belgrade)[more][less]
-
Pevac, Lazar (Belgrade)[more][less]
-
Zeada, Samira (Belgrade , 2015)[more][less]
-
Zeada, Samira (Beograd , 2015)[more][less]
-
Ziada, Samira (Beograd , 2015)[more][less]
Abstract: This thesis has been written under the supervision of my mentor Prof. Aleksandar T. Lipkovski at the University of Belgrade in the academic year 2014- 2015. The topic of this thesis is Classi cation of Monomial Orders In Polynomial Rings and Gr obner Basis. The thesis is divided into four chapters let us review the content and the main contributions to this doctoral thesis. In the rst chapter (page. 1-6), the de nitions, features and examples of the notions basic for this thesis are given. Also, relevant properties of the multivariate polynomial ring and the division with reminder algorithm are recalled. In Chapter 2 (page. 7-22), the classi cation of monomial orderings for multivariate polynomial rings is displayed (given) in detail, with special emphasis on the case of two variables. The connection of this classi cation and the well known classi cation of Robiano is exposed in detail. It is an unusual and a little-known fact that the set of di erent monomial orderings with the natural topology is a Cantor set. Chapter 3 (page. 23-40) and Chapter 4 (page. 41-51) contain the main contributions of the thesis. In Chapter 3, the new approach to the analysis of the division with reminder algorithm is presented, based on set theoretic partial orderings (Section 3.3). Thus, the new evidence for (proof of ) Buchbergers result on niteness of the division procedure, regardless of a choice of the leading terms for the next dividing, is obtained. Likewise, in order to investigate Hilbert's original contribution and links with later considerations, we present his proof of the famous Hilbert basis theorem, on the basis of his original papers (section 3.5). In Chapter 4 (page. 41-51), a result from Chapter 3 is used for another new characterization of Gr obner basis, apparently weaker than well-known ones, to be obtained. Namely, it is shown that the bases G = ff1; : : : ; fkg of an ideal I is Gr obner if and only if, for any f from I, the support SuppG(f) is not empty. This condition is (only outwardly) weaker than a typical condition that the leading term of f belongs to SuppG(f). And describe the Gr obner fan of an ideal I and give an algorithm In a special case of two variables. URI: http://hdl.handle.net/123456789/4304 Files in this item: 1
phdSamiraZiada.pdf ( 465.6Kb ) -
Danić, Dimitrije (, 1885)[more][less]
Abstract: Tema Danićeve disertacije su konformna preslikavanja eliptičkog paraboloida na ravan, prateći definicije i formalizam koje je uveo Gaus (F. Gauss) za tu vrstu preslikavanja. U tom razmatranju izveo je određene parcijalne diferencijalne jednačine koje takođe analizira i rešava. Njegov doprinos bile su metode u rešavanju kompleksnih eliptičkih integrala, uvođenju eliptičkih transformacija i primeni eliptičkih funkcija u rešavanju ovih parcijalnih jednačina. URI: http://hdl.handle.net/123456789/4796 Files in this item: 3
DDanic_thesis_documentation.pdf ( 239.6Kb )DDanic_thesis_transl_SRB.pdf ( 1.764Mb )DDanic_thesis.pdf ( 1.420Mb ) -
Mijajlović, Žarko (Belgrade , 1977)[more][less]
Abstract: Part1. Basic notions of model theory are given. Part2. Dual notions in categories of Boolean algebras and Stone spaces are studied in respect to natural contra-variant functor. The cellularity number of a Boolean algebra B, celB is studied, certain cardinal properties are proved, e.g. it is consistent with ZFC that celB is attained for every Boolean algebra B. Part3. Lindenbaum algebras of first-order theories are studied in details. It is proved that every Boolean algebra is isomorphic to the Lindenbaum algebra B1 of Σ1 formulas of certain first-order complete theory. Stability number ST(k) of a first-order theory T is studied, and it is shown that ST(k) = Ku(k), where Ku(k) is the Kurepa number (Kurepa introduced it in 1935) and T is the theory of dense linear ordering without end-points, while the cardinality of the Stone space of B1(A), A is a model of T, is equal to ded(A), the Dedekind number of the ordering A. Ku(k)= sup{ded(A): A is a model of T, |A|=k}. Part4. Σn Πn ramifications of various notions in model theory are defined and studied, e.g. elementary embeddings, completeness, chains, direct limits, diagram properties, etc. Preservation theorems for these types of formulas are proved. Examples for including ordered structures and algebraic fields are given. Part5. Model completions and elimination of quantifiers are studied. As an application, it is proved that by means of model theory that the classes of Boolean algebras and distributive lattices with the least and the greatest elements are Jonsson’s classes. Algebraic description of saturated models of submodel-complete theories are given, unifying results of Haussdorff (dense linear ordering), Erdös, Gillman (ordered fields) and Boolean algebras (Negrepontis) for homogeneous-universal models. Part6. Here is studied what model-theoretic properties are absolute in ZF in the sense introduced by Levy, i.e. in which cases strong hypothesis (AC, GCH, V=L) can be eliminated from the proof of these properties. It is shown that the following properties of first-order theories are absolute: the consistency, completeness, model-completeness and elimination of quantifiers. These gives new light on model-theoretic proofs of these properties. URI: http://hdl.handle.net/123456789/196 Files in this item: 1
phdZarkoMijajlovic.pdf ( 27.39Mb ) -
Božić, Milan (Belgrade , 1983)[more][less]
Abstract: The thesis consists of five chapters. In the introductory chapter some relational-operational structures building of sets of formulas in calculi RA^+ and R^+ are presented. These structures are used in other chapters in making of the canonical frames of Kripke’ type for semantic of positive fragments of relevant propositional calculi. In Chapter 1, the semantic of these positive fragments, which is a mixture of known Routley & Meyer’s and Maksimova’s semantics, is presented. A new way for the semantic of negation in relevant logics is introduced in Chapter 2. It this way semantic completeness theorems for a large class of expansions of the logic R_min are proved. It is shown that Routley & Meyer’s semantic for the logic R is a special case of that semantic. Relevant modal logics are studied in Chapter 3. A semantic of Kripke’s type by which a completeness of a large class of modal logics whose basics are different relevant calculi with or without negation is introduced. A characterization of a large class modal i.e. Hintikka, schemas is given too. They contain almost all modal schemas characterized by formulas of the first order. Moreover, it is proved that the only known semantic for the calculus R_⊙ is a special case of the semantic given in this chapter. Semantics of relevant calculi which are not distributive are studied in Chapter 4. It is shown that semantics of non-distributive relevant logics radically change Kripke’s semantic. URI: http://hdl.handle.net/123456789/340 Files in this item: 1
phdMilanBozic.pdf ( 36.24Mb ) -
Tošić, Ratko (Belgrade , 1978)[more][less]
Abstract: The thesis consists of five chapters. In Chapter 1 definitions and well-known results from the theory of Boolean algebras and Boolean functions are given. In Chapter 2 of the thesis some properties of Boolean functions, which preserve constants under finite Boolean algebras, are presented by using the component representation. Their consequences about the number of Boolean’s functions are also given. The theorems which are the generalization of Scognmaiglio’s theorem and Andreoli’s theorem for Boolean functions with one variable, are proved in Chapter 3. The following new notions are introduced for monotone logical functions: the profile, the level, homogeneous, the corresponding matrix, etc. Some properties of these functions are shown and some consequences about the number of homogeneous monotone logical functions are presented. In Chapter 4 the applications of monotone Boolean functions in solving the problems of search theory (a branch of the theory of information) are presented. It is shown that the general problem of a type is, in fact, the problem of identifications of homogeneous monotone Boolean functions of the given profile by checking the value of that function for combinations of values of variables. Optimal or almost optimal solutions for some profiles are shown. It is also shown that monotonic logical functions are natural instrument for the generalization of these problems. Some open problems are presented in Chapter 5. URI: http://hdl.handle.net/123456789/356 Files in this item: 1
phdRatkoTosic.pdf ( 3.843Mb ) -
Vujošević, Slobodan (Belgrade , 1981)[more][less]
Abstract: The thesis consists of three chapters. Heyting algebras are studied as an equality category in Chapter 1. The properties of filters and ideals of Heyting algebras are presented together with corresponding properties in distributive nets and Boolean algebras. Free, injective and projective Heyting algebras are presented and a theorem about the representation in algebras with closing is proved. Some properties of Heyting algebras, which are important for study of formal logics closely to intuitionistic logic, are also presented. Complete Heyting algebras are studied in Chapter 2. The family of complete Heyting algebras is obtained by repeating of the construction of the algebra of J-operators. Some properties of this family when the initial Heyting algebras is linear order, are studied. Moreover, the characterization of complete Heyting algebras which can be approximated by complete Boolean algebras is given. Duality of categories of topological spaces and complete Heyting algebras are studied in Chapter 3. Some adjunctions are defined, and for those adjunctions the actions of monad and comonad are studied. It is shown that the category of complete Heyting algebras is reflective in the categories of sets, distributive bounded nets and complete Heyting algebras. It is shown that complete Heyting algebras correspond to "deposited" spaces, and distributive bounded nets correspond to a restriction of Ston’s spaces. URI: http://hdl.handle.net/123456789/89 Files in this item: 1
phdSlobodanVujosevic.pdf ( 3.553Mb ) -
Boričić, Branislav (Belgrade , 1983)[more][less]
Abstract: The thesis consists of four chapters. Chapter 1 contains a general framework for deductive systems and contains a sequence-conclusion natural deduction system for classical first order logic. A sequence NLC_n of intermediate propositional logics is considered in Chapter 2. It is shown that the sequence NLC_n contains three different systems only. These are the classical calculus NLC_1, Dummett's system NLC_2 and the logic NLC_3, an extension of the Heyting propositional logic by the axiom (A⇒B)∨(B⇒C)∨(C⇒A) . It is also shown that the logic NLC_3 is separable. In the sequel, the completeness of NLC_3 with respect to the corresponding Kripke type models having the property that ∀x∀y∀z(xRy∨yRz∨zRx) is proved, as well as its decidability and the independence of logical connectives. It is shown that some subsystems of NLC_3 are separable and that the limits of the considered systems is the Heyting propositional calculus. The logic of the weak law of excluded middle, an extension of the Heyting logic by ¬A∨¬¬A, is considered in Chapter 3. An embedding of classical logic into this logic is described and it is proved that this logic is the minimal one having this property. A Hilbert-type formulation of implication fragment of the Heyting propositional logic formalizing the deducibility relation, is presented in Chapter 4, enabling to define a decision procedure based on a kind of cut-elimination theorem. URI: http://hdl.handle.net/123456789/257 Files in this item: 1
phdBranislavBoricic.PDF ( 5.899Mb )