Browsing Mathematics by Title
-
Pantić, Dražen (Belgrade)[more][less]
-
Lepović, Mirko (Beograd , 1991)[more][less]
URI: http://hdl.handle.net/123456789/4138 Files in this item: 1
Spektralna_teorija_grafova.PDF ( 4.283Mb ) -
Marić, Miroslav (Belgrade)[more][less]
-
Lazić, Mirjana (Kragujevac, Serbia , 2011)[more][less]
Abstract: This doctoral dissertation belongs to the Spectral theory of finite and infinite graphs, which joins elements of Graph theory and Linear algebra. The dissertation, beside Preface and References with 24 items, consists of four chapters divided in sections and Appendix. In Chapter 1 some results on the reduced energy of graphs are given. All connected graphs whose reduced energy does not exceed 3 are described. In Chapter 2 all finite and infinite graphs with seven nonzero eigenvalues are determined. Some results on integral graphs are given in Chapter 3. Finally, Chapter 4 contains some results on symmetric double starlike trees. The definitions of starlike tree and double starlike tree are given and we proved that there exist no two cospectral non-isomorphic symmetric double starlike trees. URI: http://hdl.handle.net/123456789/1879 Files in this item: 1
dokdis.pdf ( 713.4Kb ) -
Matić, Dragan (Beograd , 2013)[more][less]
Abstract: In this work some actual combinatorial optimization problems are investigated. Several di erent methods are suggested for solving the following NP hard problems: maximally balanced connected partition problem in graph, general maximally balanced problem with q partitions (q ≥ 2), maximum set splitting problem and p-ary transitive reduction problem in digraphs. Together with investigation of combinatorial optimization methods for solving these problems, the applying of these problems in education is also considered in the dissertation. For solving each of these problems, metaheuristics are developed: variable neighborhood search is developed for each problem and genetic algorithm is used for solving p-ary transitive reduction problem in digraphs. For maximally balanced connected partition problem a mixed linear programming model is established, which enables to solve the problem exactly for the instances of lower dimensions. Achieved numerical results indicate the high level of reliability and usability of the proposed methods. Problems solved in this research are of a great interest both in theoretical and practical points of view. They are used in production, computer networks, engineering, image processing, biology, social sciences and also in various elds of applied mathematics and computer science. In this work the applying of some problems in educational issues is also considered. It is shown that approaches of nding maximally balanced connected partition in graph and nding maximum splitting of the set can be successfully used in course organization, which is veri ed on the concrete examples. Based on the objective indicators and professor's assessment, the techniques for the identifying the connections between the lessons, as well as the weights of the lessons are developed. Thus, whole course can be represented as a connected weighted graph, enabling the resolving of the lesson partition problem by mathematical approaches. By assigning the lessons into the appropriate categories (topics area) inside a iv course, a collection of subsets (corresponding to the topics) of the set of lessons is created. If we set the requirement that lessons should be split into two disjoint subsets (e.g. into the winter and summer semesters), in a way that corresponding topics are processed in both subsets, then the mathematical model of the requirement and its solution corresponds to the set splitting problem. By the developed models of course organization, from which the NP hard problems arise, in addition to the scienti c contributions in the elds of mathematical programming and operational research, contributions in educational aspects are added, especially in the methodology of teaching mathematics and computer science. URI: http://hdl.handle.net/123456789/4229 Files in this item: 1
phd_matic_dragan.pdf ( 1.438Mb ) -
Matić, Dragan (Beograd , 2013)[more][less]
Abstract: In this work some actual combinatorial optimization problems are investigated. Several di erent methods are suggested for solving the following NP hard problems: maximally balanced connected partition problem in graph, general maximally balanced problem with q partitions (q ≥ 2), maximum set splitting problem and p-ary transitive reduction problem in digraphs. Together with investigation of combinatorial optimization methods for solving these problems, the applying of these problems in education is also considered in the dissertation. For solving each of these problems, metaheuristics are developed: variable neighborhood search is developed for each problem and genetic algorithm is used for solving p-ary transitive reduction problem in digraphs. For maximally balanced connected partition problem a mixed linear programming model is established, which enables to solve the problem exactly for the instances of lower dimensions. Achieved numerical results indicate the high level of reliability and usability of the proposed methods. Problems solved in this research are of a great interest both in theoretical and practical points of view. They are used in production, computer networks, engineering, image processing, biology, social sciences and also in various elds of applied mathematics and computer science. In this work the applying of some problems in educational issues is also considered. It is shown that approaches of nding maximally balanced connected partition in graph and nding maximum splitting of the set can be successfully used in course organization, which is veri ed on the concrete examples. Based on the objective indicators and professor's assessment, the techniques for the identifying the connections between the lessons, as well as the weights of the lessons are developed. Thus, whole course can be represented as a connected weighted graph, enabling the resolving of the lesson partition problem by mathematical approaches. By assigning the lessons into the appropriate categories (topics area) inside a iv course, a collection of subsets (corresponding to the topics) of the set of lessons is created. If we set the requirement that lessons should be split into two disjoint subsets (e.g. into the winter and summer semesters), in a way that corresponding topics are processed in both subsets, then the mathematical model of the requirement and its solution corresponds to the set splitting problem. By the developed models of course organization, from which the NP hard problems arise, in addition to the scienti c contributions in the elds of mathematical programming and operational research, contributions in educational aspects are added, especially in the methodology of teaching mathematics and computer science. URI: http://hdl.handle.net/123456789/3050 Files in this item: 1
phd_matic_dragan.pdf ( 1.438Mb ) -
Todorčević, Stevo (Belgrade)[more][less]
Abstract: The thesis consists of four chapters and one appendix. The relation between trees and ordering types, especially the relation between tree-subtree and the type-subtype are considered in Chapter 1. By using Jensens’s principle, Aronszajn’s tree which does not contain any Aronszajn’s subtree and Cantor’s subtree are constructed. Moreover, it is shown that in the model ZFC+GCH each ω_2- Aronszajn’s tree contains Aronszajn’s and Cantor’s subtree. In the first part of Chapter 2 the problem of the existence of Boolean algebras which have non-trivial automorphisms and endomorptisms are studied. It is shown that for each cardinal k, k>ω, there are exactly 2^k types of isomorphic Boolean algebras without non-trivial automorphisms. In the second part of that chapter the problem of isomorphism and automorhism of ω_1-trees is studied. It is shown that there are 2^ω1 types of isomorphic total rigid Aronszajn’s trees, so one Aronszajn’s tree does not have any nontrivial automorphism. Several problems of the partition relations of cardinal numbers are solved in Chapter 3. The appendix contains the proof of the property that in ZFC the σ-dense partial ordered set of power ω_1 does not exist. It is shown that in ZFC there is not any linearly ordered topological space with weight less or equal ω_1 which satisfies Kurepa’s generalization of the notion of separable topological space. It is also shown that if ¬ω Kurepa’s hypothesis + Martin’s axiom + ¬Continuum hypothesis is assumed, then each perfect normal non - Arhimedian space whose weight is ω1 is measurable. URI: http://hdl.handle.net/123456789/316 Files in this item: 1
phdStevoTodorcevic.pdf ( 18.19Mb ) -
Dragović, Vladimir (Beograd , 1992)[more][less]
-
Šegan-Radonjić, Marija (University of Belgrade , 2019)[more][less]
Abstract: Предмет докторске дисертације је израда оквира за дигитално архивирање у циљу очувања, представљања и омогућавања доступности дигитализованог и дигиталног садржаја за потребе историјских и других истраживања. Предложени оквир заснива се на концепту ,,тематских колекција“ и намењен је истраживачима који желе да креирају сопствене дигиталне збирке историјских извора и текстова како би ширу научну заједницу упознали са својим истраживањем, повезали га са ширим контекстом и створили услове за умрежавање и сарадњу. Оквир, на примеру дигитализације архивског материјала Математичког института САНУ и у складу са актуелним препорукама и прописима за дигитализацију културног наслеђа у Републици Србији, нуди смернице за: 1) економичан поступак превођења у дигитални облик ради добијања оперативних копија за представљање на вебу, 2) каталогизацију и опис дигиталних докумената помоћу Dublin Core скупа елемената, 3) креирање дигиталног архива помоћу Omeka Classic платформе, 4) израду упутства за архивско истраживање одређених историјских тема и 5) састављање историјских есеја у дигиталном окружењу. Посебни циљ докторске дисертације је примена предложеног оквира у историјским и другим истраживањима, конкретно у проучавању развоја Математичког института у периоду од његовог успостављања у крилу Српске академије наука 1946. године до његовог осамостаљивања 1961. године. Резултати рада су: 1) систематски обрађено питање прошлости Математичког института САНУ у поменутом хронолошком оквиру, 2) дигитална колекција посвећена историји математике и сродних наука у Србији и југоисточној Европи и 3) предлог оквира за дигитално архивирање дигиталног и дигитализованог садржаја за потребе историјских и других истраживања. URI: http://hdl.handle.net/123456789/4855 Files in this item: 1
MarijaSeganDoktorat.pdf ( 29.70Mb ) -
Borisavljević, Mirjana (Beograd , 1997)[more][less]
-
Bakić, Radoš (Belgrade)[more][less]
-
Mijajlović, Ivana (London)[more][less]
-
Pavlović, Aleksandar (Novi Sad)[more][less]
URI: http://hdl.handle.net/123456789/295 Files in this item: 1
PhdAleksandarPavlovic.pdf ( 7.226Mb ) -
Đokić, Dragan (Beograd , 2022)[more][less]
Abstract: The distribution of primes is determined by the distribution of zeros of Riemann zeta function, and indirectly by the distribution of magnitude of this function on the critical line <s = 1 2 . Similarly, in order to consider the distribution of primes in arithmetic progressions, Dirichlet introduced L-functions as a generalization of Riemann zeta function. Generalized Riemann hypothesis, the most important open problem in mathematics, predicts that all nontrivial zeros of Dirichlet L-function are located on the critical line. Therefore, one of the main goals in Analytic Number Theory is to consider the moments of Dirichlet L-functions (according to a certain well defined family). The relation with the characteristic polynomials of random unitary matrices is one of the fundamental tools for heuristic understanding of L-functions and derivation hypotheses about asymptotic formulae for their moments. Asymptotics for even moments 1 T Z T 0 ζ 1 2 + it 2k dt, as T → ∞, is still an open question (except for k = 1, 2), and it is related to the Lindelöf Hypothesis. In this dissertation we consider the sixth moment of Dirichlet L-functions over rational function fields Fq(x), where Fq is a finite field. We will present the asymptotic formula for the sixth moment with the triple average X Q monic deg Q=d X χ (mod Q) χ odd primitive 2π Z log q 0 L 1 2 + it, χ 6 dt 2π log q as d → ∞. All additional averaging is currently necessary to obtain the asymptotics. The summation over Dirichlet characters and their moduli is motivated by Bombieri-Vinogradov Theorem. Our result is a function field analogue of the paper [25] for the corresponding family and averaging over field Q. Also, our main term confirms the existing Random matrix theory predictions. URI: http://hdl.handle.net/123456789/5531 Files in this item: 1
dragan_djokic_teza.pdf ( 867.8Kb ) -
Pogany, Tibor (Belgrade)[more][less]
-
Todorović, Petar (Belgrade , 1961)[more][less]
-
Ikodinović, Nebojša (Kragujevac)[more][less]
Abstract: The thesis is devoted to logics which are applicable in different areas of mathematics (such as topology and probability) and computer sciences (reasoning with uncertainty). Namely, some extensions of the classical logic, which are either model-theoretical or non-classical, are studied. The thesis consists of three chapters: an introductory chapter and two main parts (Chapter 2 and Chapter 3). In the introductory chapter of the thesis the well-known notions and properties from extensions of the first order logic and nonclassical logics are presented. Chapter 2 of the thesis is related to logics for topological structures, particularly, topological class spaces (topologies on proper classes). One infinite logic with new quantifiers added is considered as the corresponding logic. Methods of constructing models, which can be useful for many others similar logics, are used to prove the completeness theorem. A number of probabilistic logic suitable for reasoning with uncertainty are investigated in Chapter 3. Especially, some ways of incorporation into the realm of logic conditional probability understood in different ways (in the sense of Kolmogorov or De Finnety) are given. For all these logics the corresponding axiomatizations are given and the completeness for each of them is proved. The decidability for all these logics is discussed too. URI: http://hdl.handle.net/123456789/194 Files in this item: 1
phdNebojsaIkodinovic.pdf ( 3.008Mb ) -
Ognjanović, Zoran (Kragujevac)[more][less]
Abstract: The thesis consists of seven chapters and two appendixes. The Chapter 1 and the appendixes contain known notions and properties from probability logics. In Chapter 2 some propositional probability logics are introduced and their languages, models, satisfiability relations, and (in)finitary axiomatic systems are given. Object languages are countable, formulas are finite, while only proofs are allowed to be infinite. The considered languages are obtained by adding unary probabilistic operators of the form P≥s. Decidability of the logics is proved. In Chapter 3 some first order probability logics are considered while in Chapter 4 new types of probability operators are introduced. The new operators are suitable for describing events in discrete sample spaces. It is shown that they are not definable in languages of probability logics that have been used so far. A propositional and a first-order logic for reasoning about discrete linear time and finitely additive probability are given in Chapter 5. Sound and complete infinitary axiomatizations for the logics are provided as well. In Chapter 6 a probabilistic extension of modal logic is studied and it is shown that those logics are closely related, but that modal necessity is a stronger notion than probability necessity. In Chapter 7 decidability of these logics is shown by reducing the corresponding satisfiability problem to the linear programming problem. Finally, two automated theorems provers based on that idea are described. URI: http://hdl.handle.net/123456789/197 Files in this item: 1
phdZoranOgnjanovic.pdf ( 1.259Mb ) -
Shkheam, Abejela (, 2013)[more][less]
Abstract: This thesis has been written under the supervision of my mentor, Prof. dr. Milo s Arsenovi c at the University of Belgrade academic, and my co-mentor dr. Vladimir Bo zin in year 2013. The thesis consists of three chapters. In the rst chapter we start from de nition of harmonic functions (by mean value property) and give some of their properties. This leads to a brief discussion of homogeneous harmonic polynomials, and we also introduce subharmonic functions and subharmonic behaviour, which we need later. In the second chapter we present a simple derivation of the explicit formula for the harmonic Bergman reproducing kernel on the ball in euclidean space and give a proof that the harmonic Bergman projection is Lp bounded, for 1 < p < 1, we furthermore discuss duality results. We then extend some of our previous discussion to the weighted Bergman spaces. In the last chapter, we investigate the Bergman space for harmonic functions bp, 0 < p < 1 on RnnZn. In the planar case we prove that bp 6= f0g for all 0 < p < 1. Finally we prove the main result of this thesis bq bp for n=(k + 1) q < p < n=k, (k = 1; 2; :::). This chapter is based mainly on the published paper [44]. M. Arsenovi c, D. Ke cki c,[5] gave analogous results for analytic functions in the planar case. In the plane the logarithmic function log jxj, plays a central role because it makes a di erence between analytic and harmonic case, but in the space the function jxj2n; n > 2 hints at the contrast between harmonic function in the plane and in higher dimensions. URI: http://hdl.handle.net/123456789/3053 Files in this item: 1
phd_Shkheam_Abejela.pdf ( 650.6Kb ) -
Tepavčević, Andreja (Novi Sad)[more][less]