http://hdl.handle.net/123456789/1 http://hdl.handle.net/123456789/5834 Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji Boričić, Marija After a brief introductory survey, this work is divided into two parts. The first part deals with presence of probability in logic (v. [16], [17], [18], [19], [22], [23] and [24]), and the second one is devoted to the application of entropy in classification of many–valued logics (v. [14], [15], [20], [21] and [25]). The basic idea, dominant in the first part of the work, is to enrich the Gentzen’s sequent calculus LK for propositional classical logic by a kind of probability operator defined over the sequents ¡ ` ¢ in order to express the fact that ”the truthfulness probability of ¡ ` ¢ belongs to the interval [a; b] µ [0; 1]”. We introduce the following four systems: LKprob, LKprob("), NKprob and LKfuzz. The basic form of sequents in LKprob is ¡ `b a ¢ with the above given intended meaning. The system LKprob(") is focused on the Suppes’ forms ¡ `n ¢ enabling to formalize the sentence ”the truthfulness probability of ¡ ` ¢ belongs to the interval [1 ¡ n"; 1] µ [0; 1]”, for some n 2 N. The system NKprob presents a natural deduction counterpart of the sequent calculus LKprob. The models founded on Carnap– Popper–Leblance probability semantics are defined for each of these calculi and accompanied by the corresponding soundness and completeness results. Finally, the calculus LKfuzz is introduced with a more general form of the sequents ¡ `x ¢, where x is an element of a finite lattice, with the aim to describe a fuzzification of LK. The meaning of ¡ `x ¢ is that ”x is the fuzziness measure of ¡ ` ¢”. Models for LKfuzz are given with soundness and completeness results, and a proof– theoretical treatment of LKfuzz includes the cut–elimination theorem. The second part of the work explores the fact that each logical system associated with the partition induced by the corresponding Lindenbaum–Tarski algebra makes it possible to define its entropy. We define the entropy of a logical system based on geometric distribution of measures over matching partition of set of formulae. This iv definition enables the classification of many–valued propositional logics according to their entropies. Asymptotic entropy approximations for some infinite–valued logics are proposed as well. The considered examples include Lukasiewicz’s, Kleene’s and Priest’s three–valued logics, Belnap’s four–valued logic, G¨odel’s and McKay’s m– valued logics, and Heyting’s and Dummett’s infinite–valued logics. Fri, 01 Jan 2016 00:00:00 GMT http://hdl.handle.net/123456789/5833 Ostatak određenih tipova Gausovih kvadraturnih formula sa specijalnim klasama težinskih funkcija Mihić, Ljubica Mathematical modeling of many phenomena which occur in the natural, technical sciences, economy requires signi cant knowledge of the theory of numerical integration. In the situations where the integral cannot be determined analytically, it is necessary to construct the for- mula which approximates its value with acceptable error. Besides the traditional formulae, the tendencies in the development of this area refer to increment of algebraic degree of precision of the quadrature formula and its error estimation. The subject of this dissertation is Gaussian quadrature formula with increased number of nodes which may have double multiplicity (sections 2 and 4) or arbitrary multiplicity (section 3). When we consider the addition of one node, one of the integration interval ends, the corresponding quadrature formula is called Gauss-Radau, and in the case of adding two new nodes, the appropriate formula is of Gauss-Lobatto type. Beside those formulae, in this dissertation we consider the Kronrod's extension of Gauss-Tur an quadrature formula, which includes the derivatives of the function at nodes. Here, the main aim is to deter- mine efficient error bounds of these formulae with respect to the different types of Chebyshev weight functions and Gori-Micchelli weight function which, in one special case, represents the generalization of the rst Chebyshev weight function. Introductory theorems and well-known statements that are used in the rest of the thesis are presented in the rst section. We described basic properties of orthogonal polynomials participating in the construction of Gaussian quadrature formula. Furthermore, the different types of remainder terms of quadrature formula are de ned, whereby in the following sections we analyze the integral representation of the remainder term. The recent results relating to the increasing number of the nodes of arbitrary multiplicity are exposed. The remaining three sections contain the chapters with original results. The second section is devoted to the estimation of the error of Gauss- Lobatto quadrature formulae with a double nodes at the endpoints. Af- ter detailed analysis of the kernel of the remainder term (see subsection 2.2.1), we proved the Theorems stating the behavior of the maximum modulus of the kernel. We computed xed values mentioned in the The- orems and established the real errors and the error bounds of quadrature formula. In third section we examine the Kronrod's extension of Gauss- Tur an quadrature formulae with respect to the special kind of Gori- Micchelli weight function. This extension, beside the nodes of Gauss- Tur an quadrature formula, also contains the zeros of Chebyshev polyno- mial of the second kind. In those new nodes, we consider just the values of the function (not the values of its derivatives). Previously mentioned Kronrod's extension is actually Chakalov-Popoviciu quadrature formu- la, so, by applying the methods for those formulae, we computed the coefficients and the error of Kronrod's formula. Gautschi-Li hypotheses are proven in the fourth section. Those hypotheses concern the Gauss-Radau quadrature formulae with respect to the Chebyshev weight functions of the second and the third kind. Subsection 4.4 consists of numerical examples and the tables with efficient error bounds. Sun, 01 Jan 2017 00:00:00 GMT http://hdl.handle.net/123456789/5832 OPTIČKA DETEKCIJA OSTATAKA SUPERNOVIH I UTICAJ NJIHOVE EMISIJE U LINIJI Hα NA ODREDIVANJE STOPE FORMIRANJA ZVEZDA Vučetić, Milica In this dissertation we discuss in uence of H emission from supernova remnants (SNRs) on H derived star formation rates (SFRs). We present the detection of 16 optical SNR candidates in a part of nearby spiral galaxy IC342, and two more poten- tial SNRs in NGC 185 galaxy. The candidates were detected by applying [S ii]/H ratio criterion on observations made with the 2 m telescope at Rozhen National Astronomical Observatory in Bulgaria. Also, in this dissertation we present the most up-to-date list of nearby galaxies with optically detected SNRs. When deri- ving H star formation rates, assumption is that the radiation is coming from the ionized gas surrounding hot and young stars { H ii regions. In this case, emission from SNRs contaminates H ux used to derive SFR. We found that the contribu- tion of SNRs' ux to the total H ux, for 18 galaxies in our sample of galaxies with optical SNRs, is 5 5%. Due to the observational selection effects, the SNR contamination of SFRs derived herein represents only a lower limit. M83 is the galaxy with the most detected optical SNRs and in this galaxy SNRs account for 9 per cent of the total H emission. We expect that fraction similar to this would be close to the real contribution of SNR emission to the total H emission in spiral galaxies. Using two dwarf galaxies as an example, Holmberg IX and NGC 185, we show that the contamination of H ux by SNRs, or other sources, can be much larger, up to ten times higher than total H ux coming from H ii regions of the observed galaxy. Sun, 01 Jan 2017 00:00:00 GMT http://hdl.handle.net/123456789/5828 POLINOMIJALNA ENTROPIJA INDUKAOVANIH DINAMIČKIH SISTEMA NA HIPERPROSTORIMA Đorić, Maša In this thesis, we applied a method for computing the polynomial entropy of dynamical systems with a finite non-wandering set to certain hyperspaces of the interval and the circle. We subsequently generalized these results to the case where the non-wandering set is not finite. We proved that the polynomial entropy of the induced map C(f ) is equal to 2, that of Fn(f ) is equal to n, and that of 2f is infinite, when f is a homeomorphism of the interval or the circle. Furthermore, we generalized these results for the n-fold symmetric product of the interval and the circle to an arbitrary compact metric space X and extended them to the suspension of the space Fn(X). In addition to the results on hyperspaces, we presented results concerning polynomial entropy on certain one-dimensional continua, such as local dendrites and regular curves. We also constructed a family of pointwise periodic homeomorphisms on a continuum whose polynomial entropy attains every value in [0, +∞]. Tue, 01 Sep 2026 00:00:00 GMT