• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.1
• /
• pp.201-217
• /
• 2013

This study intends to develop and apply elementary mathematics program for gifted students based on a 'constant width shape' in order to keep pace with the STEAM education which is becoming the main issue and therefore, it set up research subject as follows; To introduce constant width shapes through 'a circle' which is a constant width shape under present education process and based on this, to search a theory about constant width shapes and reuleaux triangles. To arrange an elementary mathematics program for gifted students according to the part 3 enrichment study model of Renzulli. To revise supplement the program on the basis of field application result twice and then to materialize the program. It is expected that the developed program and study data will suggest mathematical ideas and direction of materials development in education sites of elementary mathematics program for gifted students.

• School Mathematics
• /
• v.7 no.4
• /
• pp.337-352
• /
• 2005

In this study, we carried out a case study with 38 pre-service mathematics teachers. A theoretical basis of this study is the 'technology principle' by NCTM(2000) and teaching-learning methods by the 7th curriculum. Using mathematics program(Grafeq.), we executed classroom activities for developing materials assisting teaching-teaming for 7th-9th grade mathematics. Pre-service mathematics teachers constructed mathematical designs for each grade by Grafeq. program. We tried to find the results for three research problems. On the basis of observation data, interview data and document materials, we analysed our results as follows. First, our activities help Pre-service mathematics teachers to examine and understand each grade mathematics. Second, we can developamathematicaldesignineachgrade mathematics. Therefore mathematical designs developed in this study can be used middle school mathematics classroom. Third, pre-service mathematics teachers gained the belief that the activities using mathematical in this study can be applied program. effectively to teaching and loaming school mathematics.

• Journal of the Korean School Mathematics Society
• /
• v.3 no.2
• /
• pp.123-131
• /
• 2000

In order to educate future leaders of the new age, we should help students to increase their basic knowledge, thinking and problem solving ability. It is necessary that we should use multi-media, computer as well as old teaching-learning material to improve students' basic knowledge and to motivate their interest in mathematics in the small-sized Middle School situated on the agricultural and fishery village. In solving this problem, it is ultimately necessary that we should utilize CAI program on the learning achievement in mathematics for the students to understand basic concept, principle, law and to promote teaching-learning process considered on individual different abilities. Therefore, this study is on the effect of students' interest and learning achievement in mathematics when we develop CAI program focusing on the lesson statistics in the 3rd Grade Middle School Mathematics Textbook and explain the concept and principle of statistics through using exact and various techniques of computers

• School Mathematics
• /
• v.4 no.4
• /
• pp.617-631
• /
• 2002

In this study, we introduced the concept of ‘case-method’ which is the method to discuss about actual education with a concrete case. And we suggested that case-method need to be applied a program for mathematics teacher professional development. To assist this suggestion, we attempted to examine recent mathematics educational studies that is written by case-study and topics that is included in mathematics teacher educational program. After these examination, we pointed out that case-method with a educational case have not applied in teacher education program in korea. According to the suggestion in this study, we showed a concrete example of case-method. In this example, we set up three perspectives(on general theory of mathematics education, on contents of given case, on application given case to own class) to analysis given case and revealed several disscussion topics each perspective. Finally, we referred to the following research of this paper.

• Journal of Educational Research in Mathematics
• /
• v.21 no.4
• /
• pp.345-359
• /
• 2011

In this research, we designed an educational activities of exploring mathematics programs in a course of mathematics education in teacher's college. We divided future mathematics teachers into 8 groups and suggested 8 mathematics programs to them. Each group explored one mathematics program. We asked to future mathematics teachers exploring some cases that use effectively a mathematics program in the teaching of school mathematics. In the process of an exploring, we designed some activities of teaching and learning. We provided opportunities of long-term exploration, group learning, presentations, exercises, reflections to mathematics teachers. As a result, future mathematics teachers acquired basic knowledge on the usage of mathematics programs in school mathematics textbook. In addition, their capabilities that are needed to explore mathematics programs have been enhanced. Also they had learned the teacher's positive attitude through the activities of teaching and learning.

• Publications of The Korean Astronomical Society
• /
• v.30 no.2
• /
• pp.205-209
• /
• 2015

The Eclipsing Binaries Minima (BIMA) Monitoring Project is a CCD-based photometric observational program initiated by Bosscha Observatory - Lembang, Indonesia in June 2012. Since December 2012 the National Astronomical Research Institute of Thailand (NARIT) has joined the BIMA Project as the main partner. This project aims to build an open-database of eclipsing binary minima and to establish the orbital period of each system and its variations. The project is conducted on the basis of multisite monitoring observations of eclipsing binaries with magnitudes less than 19 mag. Differential photometry methods have been applied throughout the observations. Data reduction was performed using IRAF. The observations were carried out in BVRI bands using three different small telescopes situated in Indonesia, Thailand, and Chile. Computer programs have been developed for calculating the time of minima. To date, more than 140 eclipsing binaries have been observed. From them 71 minima have been determined. We present and discuss the O-C diagrams for some eclipsing binary systems.

• School Mathematics
• /
• v.1 no.1
• /
• pp.51-93
• /
• 1999

This survey is to know the present situation and effective alternatives of mathematics gifted education program for the 5-8 grade students in Korea. This is aiming at finding effective ideas useful to the definition of the gifted, the development of the methods and tools for identification, the proper organization of program and urgent issues. The number of collected questionnaire available by mailing is 92; 21 specialists, 24 experienced teachers and 47 scholars who are concerned with the education for the gifted. Not translated original Korean-Questionnaire is in the appendix.

• Journal of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.241-258
• /
• 2006

This paper gives conditions under which necessary optimality conditions in a locally Lipschitz program can be expressed as the invexity of the active constraint functions or the type I invexity of the objective function and the constraint functions on the feasible set of the program. The results are nonsmooth extensions of those of Hanson and Mond obtained earlier in differentiable case.

• Korean Journal of Mathematics
• /
• v.16 no.4
• /
• pp.471-480
• /
• 2008

As students with low basic knowledge of mathematics increase, they have had difficulties in studying statistics theory class. By using recent students' characteristics which prefer seeing directly and checking to thinking logically, we try to change the teaching method into teaching in the computer lab(SAS program). We investigate whether changing the teaching method has effects on students' achievements and interests or not. The purpose of this study is to grope for a better teaching and develop mathematics education's satisfaction and qualification.