• 응용통계연구
• /
• 제32권4호
• /
• pp.485-502
• /
• 2019

이론통계학은 통계학의 원리를 수학을 이용하여 배우는 교과목이다. 학생들이 수학을 충분히 알지 못하는 경우 이론통계학 교육을 통해 통계학의 원리를 이해하는 데에는 제약이 있다. 이론통계학 교육을 통해 통계학의 원리에 대한 이해를 높이기 위해 수학적 문제풀이 외에 R 프로그램을 이용한 통계 시뮬레이션이 보조적으로 도입되어 왔지만 수학을 이용한 문제풀이를 대신하지는 못하고 있다. 이 논문에서는 wxMaxima, Wolfram Alpha 등 기호 수학 연산이 가능한 수학 소프트웨어 CAS를 소개하고, 이를 이용하여 이론통계학 교육에 걸림돌이 되는 수학의 어려움에서 벗어나 통계학의 원리 자체를 학습할 수 있는 방안을 모색하였다.

• 대한수학회보
• /
• 제52권4호
• /
• pp.1327-1338
• /
• 2015

In this paper, we introduce and study the w-weak global dimension w-w.gl.dim(R) of a commutative ring R. As an application, it is shown that an integral domain R is a $Pr\ddot{u}fer$ v-multiplication domain if and only if w-w.gl.dim(R) ${\leq}1$. We also show that there is a large class of domains in which Hilbert's syzygy Theorem for the w-weak global dimension does not hold. Namely, we prove that if R is an integral domain (but not a field) for which the polynomial ring R[x] is w-coherent, then w-w.gl.dim(R[x]) = w-w.gl.dim(R).

• 대한수학회보
• /
• 제52권4호
• /
• pp.1285-1295
• /
• 2015

An SM domain is an integral domain which satisfies the ascending chain condition on w-ideals. Then an SM domain also satisfies the descending chain condition on those chains of v-ideals whose intersection is not zero. In this paper, a study is begun to extend these properties to commutative rings with zero divisors. A $Q_0$-SM ring is defined to be a ring which satisfies the ascending chain condition on semiregular w-ideals and satisfies the descending chain condition on those chains of semiregular v-ideals whose intersection is semiregular. In this paper, some properties of $Q_0$-SM rings are discussed and examples are provided to show the difference between $Q_0$-SM rings and SM rings and the difference between $Q_0$-SM rings and $Q_0$-Mori rings.

• 대한수학회지
• /
• 제52권4호
• /
• pp.751-763
• /
• 2015

Let ${\alpha}$ be a positive integer, and let $p_1$, $p_2$ be two distinct prime numbers with $p_1$ < $p_2$. By using elementary methods, we give two equivalent conditions of all even near-perfect numbers in the form $2^{\alpha}p_1p_2$ and $2^{\alpha}p_1^2p_2$, and obtain a lot of new near-perfect numbers which involve some special kinds of prime number pairs. One kind is exactly the new Mersenne conjecture's prime number pair. Another kind has the form $p_1=2^{{\alpha}+1}-1$ and $p_2={\frac{p^2_1+p_1+1}{3}}$, where the former is a Mersenne prime and the latter's behavior is very much like a Fermat number.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제14권3호
• /
• pp.219-231
• /
• 2010

Mathematically, a proof is to create a convincing argument through logical reasoning towards a given proposition or a given statement. Mathematics educators have been working diligently to create environments that will assist students to perform proofs. One of such environments is the use of dynamic-geometry-software in the classroom. This paper reports on a case study and intends to probe into students' own thinking, patterns they used in completing certain tasks, and the extent to which they have utilized technology. Their tasks were to explore the shape-to-shape, shape-to-part, and part-to-part interrelationships of geometric objects when dealing with certain geometric problem-solving situations utilizing dissection-motion-operation (DMO).

• 대한수학회보
• /
• 제52권2호
• /
• pp.541-548
• /
• 2015

Let R be a commutative ring. An R-module M is called a w-Noetherian module if every submodule of M is of w-finite type. R is called a w-Noetherian ring if R as an R-module is a w-Noetherian module. In this paper, we present an exact version of the Eakin-Nagata Theorem on w-Noetherian rings. To do this, we prove the Formanek Theorem for w-Noetherian rings. Further, we point out by an example that the condition (${\dag}$) in the Chung-Ha-Kim version of the Eakin-Nagata Theorem on SM domains is essential.

• 대한수학회보
• /
• 제55권4호
• /
• pp.1093-1101
• /
• 2018

Let (RDTF, M) be a Milnor square. In this paper, it is proved that R is a ${\mathcal{C}}$-hereditary domain if and only if both D and T are ${\mathcal{C}}$-hereditary domains; R is an almost perfect domain if and only if D is a field and T is an almost perfect domain; R is a Matlis domain if and only if T is a Matlis domain. Furthermore, to give a negative answer to Lee, s question, we construct a counter example which is a C-hereditary domain R with $w.gl.dim(R)={\infty}$.

• 대한수학회지
• /
• 제48권1호
• /
• pp.207-222
• /
• 2011

Let R be a commutative ring and let M be a GV -torsionfree R-module. Then M is said to be a $\omega$-module if $Ext_R^1$(R/J, M) = 0 for any J $\in$ GV (R), and the w-envelope of M is defined by $M_{\omega}$ = {x $\in$ E(M) | Jx $\subseteq$ M for some J $\in$ GV (R)}. In this paper, $\omega$-modules over commutative rings are considered, and the theory of $\omega$-operations is developed for arbitrary commutative rings. As applications, we give some characterizations of $\omega$-Noetherian rings and Krull rings.

• 농업과학연구
• /
• 제43권2호
• /
• pp.163-175
• /
• 2016

For the past decades, advances in computational devices have propelled mathematical modeling to become an effective tool for solving the black box of complex biological systems because of its prominent analytical power and comprehensive insight. Nevertheless, modeling is still limitedly used in the fields of agriculture and food which generally concentrate on producing experimental data rather than processing them. This study, hence, intends to introduce modeling in terms of its procedure types of structure, formulation, analyses, and software, with reviews of current notable studies from micro to macro scales so as to propose the modeling technique as a novel approach in discerning conundrums in agriculture and food systems. We expect this review to provide an eligible source for researchers who are willing to apply modeling techniques into the unexplored fields related to bio-systems that comprehensively include biology, nutrition, agriculture, food, animal science, and ecology.

• 한국디지털건축인테리어학회논문집
• /
• 제6권2호
• /
• pp.1-8
• /
• 2006

This study is investigates space syntax theory, developed by Bill Hiller, used for physical analysis and visual access of space and role of spatial configuration based on social logic. it mean computer program analyze physical structure of space and represent by mathematical logic. it used for predict space use and Descriptive of spatial configuration. This method and theory is incompletion for design, but it enough useful tool for architecture and urban design and will be improved. And development of a simple computer program - SSA(Sspace Syntax Analysis) for space syntax analysis and study. SSA is based on convex map analysis and using VISIO software for easily using and development.