• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.652-654
• /
• 2002

정수 합동 분석(integer congruence analysis)은 프로그램 변수들의 의미 영역을 정수 합동(integer congruence) 집합으로 정의하여 분석한다. 정수 합동 분석을 위한 정수 합동 격자(lattice of integer congruences)와 순방향 요약 산술 연산자에 대한 정의는 이미 p. Granger에 의해 소개되었다. 하지만, 분석의 정확도에 영향을 미치는 역방향 요약 산술 연산자에 대한 연구는 아직 되어 있지 않다. 이 논문에서는 정수 합동 분석을 위한 역방향 요약 산술 연산자를 정의한다. 역방향 요약 산술 연산자를 정의하는 방법은 정수 방정식을 푸는 방법을 기반으로 고안되었다. 정의된 역방향 요약 산술 연산자는 프로그램 분석의 정확도를 높이는데 기여를 할 수 있는데, 이 논문에서는 예제를 통해서 이 사실을 보인다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제6권4호
• /
• pp.321-330
• /
• 2006

We introduce the concept of intuitionistic fuzzy weak congruence on a semiring and obtain the relation between intuitionistic fuzzy weak congruence and intuitionistic fuzzy ideal of a semiring. Also we define and investigate intuitionistic fuzzy quotient semiring of a semiring over an intuitionistic fuzzy ideal or over an intuitionistic fuzzy weak congruence.

• Kyungpook Mathematical Journal
• /
• 제57권1호
• /
• pp.1-84
• /
• 2017

In this paper we study the Fibonacci numbers and derive some interesting properties and recurrence relations. We prove some charecterizations for $F_p$, where p is a prime of a certain type. We also define period of a Fibonacci sequence modulo an integer, m and derive certain interesting properties related to them. Afterwards, we derive some new properties of a class of generalized Fibonacci numbers. In the last part of the paper we introduce some generalized Fibonacci polynomial sequences and we derive some results related to them.

• Journal of applied mathematics & informatics
• /
• 제37권5_6호
• /
• pp.383-397
• /
• 2019

In this paper, we introduce ${\delta}$-fuzzy ideals in a pseudo complemented distributive lattice in terms of fuzzy filters. It is proved that the set of all ${\delta}$-fuzzy ideals forms a complete distributive lattice. The set of equivalent conditions are given for the class of all ${\delta}$-fuzzy ideals to be a sub-lattice of the fuzzy ideals of L. Moreover, ${\delta}$-fuzzy ideals are characterized in terms of fuzzy congruences.

• 충청수학회지
• /
• 제32권1호
• /
• pp.53-67
• /
• 2019

The notions of closed elements and dense elements are introduced in BE-algebras. Characterization theorems of closed elements and closed filters are obtained. The notion of dense elements is introduced in BE-algebras. Dense BE-algebras are characterized with the help of maximal filters and congruences. The concept of D-filters is introduced in BE-algebras. A set of equivalent conditions is derived for every D-filter to become a closed filter.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.1-12
• /
• 2011

간지(干支)는 일상생활과 술수(術數)등에 매우 중요한 역할을 하였다. 음양학파는 역경에 나오는 괘와, 중국의 음계를 결정하는 오음(五音)과 십이율(十二律)을 간지와 연결하였는데 이를 각각 납갑(納甲), 납음(納音)이라 한다. 침괄(沈括)은 그의 $\ll$몽계필담(夢溪筆談)$\gg$(1095)에 이들을 인용하였다. 양휘(楊輝)는 그의 $\ll$속고적기산법(續古摘奇算法)$\gg$(1275)에 납음법을 수학적 구조로 얻어낼 수 있음을 보였다. 이를 위하여 양휘(楊輝)가 함수의 개념을 도입하고, 합동식의 성질과 합성함수를 이용하여 납음법을 완벽하게 정리하였음을 이 논문에서 밝혀낸다. 그의 함수 개념은 수학사에서 가장 빠른 것이다.

• 호남수학학술지
• /
• 제37권2호
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• 호남수학학술지
• /
• 제35권3호
• /
• pp.351-372
• /
• 2013

In this paper, we study a distinction the two generating functions : ${\varphi}^k(q)=\sum_{n=0}^{\infty}r_k(n)q^n$ and ${\varphi}^{*,k}(q)={\varphi}^k(q)-{\varphi}^k(q^2)$ ($k$ = 2, 4, 6, 8, 10, 12, 16), where $r_k(n)$ is the number of representations of $n$ as the sum of $k$ squares. We also obtain some congruences of representation numbers and divisor function.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권1호
• /
• pp.1-14
• /
• 2005

This study analyzed the differences in the contents as well as in the methods of development and presentation of learning contents in Korean and German mathematics textbooks for middle school students. For the research we investigated only the area of geometry, and in particular this study performed in-depth analysis concerning 4 subjects; namely congruences of triangles, special points in a triangle, similarity of figures and the theorem of Pythagoras.

• 대한수학회보
• /
• 제50권2호
• /
• pp.445-449
• /
• 2013

We consider a congruence ${\rho}$ on a group G as a subsemigroup of the direct product $G{\times}G$. It is well known that a relation ${\rho}$ on G is a congruence if and only if there exists a normal subgroup N of G such that ${\rho}=\{(s,\;t):st^{-1}{\in}N\}$. In this paper we prove that if G is a finitely presented group, and if N is a normal subgroup of G with finite index, then the congruence ${\rho}=\{(s,\;t):st^{-1}{\in}N\}$ on G is finitely presented.