The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is shown. We also give definitions of convergents of continued fractions, and several important properties of simple continued fractions and their convergents.
We are formalizing [9, pp. 81-84] where chordal graphs are defined and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.
Published Online: 09 Jun 2008 Page range: 93 - 100
Abstract
Connectedness and Continuous Sequences in Finite Topological Spaces
First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.
Published Online: 09 Jun 2008 Page range: 101 - 108
Abstract
The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements
In this article, we first define finite sequences of probability distribution and matrices of joint probability and conditional probability. We discuss also the concept of marginal probability. Further, we describe some theorems of matrices of real elements including quadratic form.
Published Online: 09 Jun 2008 Page range: 109 - 114
Abstract
Several Differentiation Formulas of Special Functions. Part IV
In this article, we give several differentiation formulas of special and composite functions including trigonometric function, polynomial function and logarithmic function.
Published Online: 09 Jun 2008 Page range: 115 - 119
Abstract
Difference and Difference Quotient
In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.
The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is shown. We also give definitions of convergents of continued fractions, and several important properties of simple continued fractions and their convergents.
We are formalizing [9, pp. 81-84] where chordal graphs are defined and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.
Connectedness and Continuous Sequences in Finite Topological Spaces
First, equivalence conditions for connectedness are examined for a finite topological space (originated in [9]). Secondly, definitions of subspace, and components of the subspace of a finite topological space are given. Lastly, concepts of continuous finite sequence and minimum path of finite topological space are proposed.
The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements
In this article, we first define finite sequences of probability distribution and matrices of joint probability and conditional probability. We discuss also the concept of marginal probability. Further, we describe some theorems of matrices of real elements including quadratic form.
Several Differentiation Formulas of Special Functions. Part IV
In this article, we give several differentiation formulas of special and composite functions including trigonometric function, polynomial function and logarithmic function.
In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.