• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.6
• /
• pp.1509-1517
• /
• 1993

The purpose of this study is to develop a program for the automatic derivation of the symbolic equations necessary for the kinematic and dynamic analyses of the spatial mechanism. For this purpose, a symbolic manipulation package called MCSYMA is used. Every symbolic equation is formulated using relative joint coordinate to obtain the numerically efficient system equations. These equations are produced in FORTRAN statements and linked to a FORTRAN program for numerical analysis. Several examples are taken for comparison with the commercial package called DADS which is using Cartesian coordinate approach. Also, this symbolic formulation approach is compared with a conventional numerical approach for an example. The results show that this symbolic approach with relative joint coordinate system is most efficient in computational time among three and is recommended for the derivation of macro elements frequently used.

• Journal of the Korean School Mathematics Society
• /
• v.24 no.3
• /
• pp.261-282
• /
• 2021

This study identified the meaning of mathematical justification and its characteristics for middle school math gifted students. 17 middle school math gifted students participated in questionnaires and written exams. Results show that the gifted students recognized justification in various meanings such as proof, systematization, discovery, intellectual challenge of mathematical justification, and the preference for deductive justification. As a result of justification exams, there was a difference in algebra and geometry. While there were many deductive justifications in both algebra and geometry questionnaires, the difference exists in empirical justifications: there were many empirical justifications in algebra, but there were few in geometry questions. When deductive justification was completed, the students showed satisfaction with their own justification. However, they showed dissatisfaction when they could not deductively justify the generality of the proposition using mathematical symbols. From the results of the study, it was found that justification education that can improve algebraic translation ability is necessary so that gifted students can realize the limitations and usefulness of empirical reasoning and make deductive justification.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.249-264
• /
• 2001

학교수학을 가르치고 배우는 과정에서 교사의 역할은 기술 공학의 활용으로 변화하고 있다. 기술공학의 역할은 학생들로 하여금 수학에 대한 태도를 변하게 하여, 탐구적이며 창의적인 방법으로 수학을 공부하는데 열의를 갖도록 한다. 반면에 현재의 수학교수는 여전히 보수적이며 환경의 변화에 더디게 적응하고 있으나, 세상이 상당히 빨리 변하고 있으므로 기술공학을 활용하여 현재의 교수를 개선해 나가야 하겠다. 변화에 대한 인식과 갈망은 학습자료, 재정 상태, 그리고 기타 여러 가지 요인보다도 훨씬 중요하며 가장 중요한 것은 교수관점 및 교수견해의 변화에 대한 의지이다. 교사가 기호연산 실행 조작이 가능한 수학 학습용 컴퓨터 응용 소프트웨어와 이들을 탑재한 휴대용 수학학습 전용기를 중등학교수학에 적용할 경우, 수학교육에서 신중히 고려해야 할 것은, 첫째 모든 수준의 학생들을 격려하며, 둘째 대상 영역의 수학학습 내용을 이해하도록 기술공학을 활용한 새로운 교수 기법에 접근할 수 있어야 한다는 점이다.

• Education of Primary School Mathematics
• /
• v.19 no.1
• /
• pp.1-18
• /
• 2016

Patterns are of great significance to develop algebraic thinking of elementary students. This study analyzed teaching methods of patterns in current elementary mathematics textbook series in terms of three main activities related to pattern generalization (i.e., analyzing the structure of patterns, investigating the relationship between two variables, and reasoning and representing the generalized rules). The results of this study showed that such activities to analyze the structure of patterns are not explicitly considered in the textbooks, whereas those to explore the relationship between two variables in a pattern are emphasized throughout all grade levels using function table. The activities to reason and represent the generalized rules of patterns are dealt in a way both for lower grade students to use informal representations and for upper grade students to employ formal representations with expressions or symbols. The results of this study also illustrated that patterns in the textbooks are treated rather as a separate strand than as something connected to other content strands. This paper closes with several implications to teach patterns in a way to foster early algebraic thinking of elementary school students.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.375-394
• /
• 2014

The purpose of this study is to examine the transition of mathematical representation in Joseon mathematics, which is focused on numbers and operations, letters and expressions. In Joseon mathematics, there had been two numeral systems, one by chinese character and the other by counting rods. These systems were changed into the decimal notation which used Indian-Arabic numerals in the late 19th century passing the stage of positional notation by Chinese character. The transition of the representation of operation and expressions was analogous to that of representation of numbers. In particular, Joseon mathematics represented the polynomials and equations by denoting the coefficients with counting rods. But the representation of European algebra was introduced in late Joseon Dynasty passing the transitional representation which used Chinese character. In conclusion, Joseon mathematics had the indigenous representation of numbers and mathematical symbols on our own. The transitional representation was found before the acceptance of European mathematical representations.

• Journal of Educational Research in Mathematics
• /
• v.19 no.1
• /
• pp.81-98
• /
• 2009

This study analyzed the types of quantitative reasoning and the characteristics of representation in order to figure out the characteristics of quantitative reasoning of the sixth graders. Three students who used quantitative reasoning in solving problems were interviewed in depth. Results showed that the three students used two types of quantitative reasoning, that is difference reasoning and multiplicative reasoning. They used qualitatively different quantitative reasoning, which had a great impact on their problem-solving strategy. Students used symbolic, linguistic and visual representations. Particularly, they used visual representations to represent quantities and relations between quantities included in the problem situation, and to deduce a new relation between quantities. This result implies that visual representation plays a prominent role in quantitative reasoning. This paper included several implications on quantitative reasoning and quantitative approach related to early algebra education.

• School Mathematics
• /
• v.10 no.4
• /
• pp.557-571
• /
• 2008

The objective of this paper is to study De Morgan's thoughts on teaching and learning negative numbers. We studied De Morgan's point of view on negative numbers, and analyzed his didactical approaches for negative numbers. De Morgan make students explore impossible subtractions, investigate the rule of the impossible subtractions, and construct the signification of the impossible subtractions in succession. In De Morgan' approach, teaching and learning negative numbers are connected with that of linear equations, the signs of impossible subtractions are used, and the concept of negative numbers is developed gradually following the historic genesis of negative numbers. Also, we analyzed the strengths and weaknesses of the De Morgan's approaches compared with the mathematics curriculum.

• Journal of Korean Society of Transportation
• /
• v.22 no.7 s.78
• /
• pp.79-90
• /
• 2004

In this study, we applied the Bayesian Networks for the case of the trip generation models using the Seoul metropolitan area's house trip survey Data. The household income was used for the independent variable for the explanation of household size and the number of cars in a household, and the relationships between the trip generation and the households' social characteristics were identified by the Bayesian Networks. Furthermore, trip generation's characteristics such as the household income, household size and the number of cars in a household were also used for explanatory variables and the trip generation model was developed. It was found that the Bayesian Networks were useful tool to overcome the problems which were in the traditional trip generation models. In particular the various transport policies could be evaluated in the very short time by the established relationships. It is expected that the Bayesian Networks will be utilized as the important tools for the analysis of trip patterns.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.2
• /
• pp.187-206
• /
• 2007

The purpose of this study is to know what is the difficulties that mathematics underachievers are suffering from the area of mathematical function and how to overcome this difficulties. For this study, we have selected two mathematics underachievers and carried out the inspection. The mathematics underachievers have undergone the difficulties of understanding mathematical problems, the difficulties from the deficit of prerequisite and basic learning, the difficulties of finding the answer typically and the difficulties of classifying an algebraic symbol, the difficulties of calculating the gradient of the straight line passing through two points.