• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.69-80
• /
• 2004

We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.

• Communications of Mathematical Education
• /
• v.23 no.3
• /
• pp.823-848
• /
• 2009

In this paper, we try to find improved solutions for problems with general mathematics education courses. We suggest effective management strategies and teaching-learning methods by level-based classes with utilizing students survey and scholastic level assessment, and management of Mathematics Cafe and its homepage, and also setting example classes for assignments on the Webwork system and evaluating the class.

• Research in Mathematical Education
• /
• v.25 no.4
• /
• pp.267-284
• /
• 2022

In response to the current educational situation of students' heavy workload, the author constructs the precision-targeted classroom based on Precision Teaching (PT), Network Pharmacology, and Treatment Based on Syndrome Differentiation. The precision-targeted classroom can solve the current problems of PT and the phenomenon of the heavy academic burden on students, achieve the reduction of the burden and increase the efficiency of education. The precision-targeted classroom includes five key points: targeted goals, childlike thinking, precise intervention, intelligent homework, and stereoscopic evaluation, and the implementation process of the precision-targeted classroom is built from three aspects: before, during and after class. In addition, the author applied it to the actual mathematics classroom to test its teaching effect, and the experimental results showed that: the precision-targeted classroom significantly improved students' academic performance and thinking level; considerably improved students' classroom learning status, and facilitated teaching personalization and realized homework quantity control and quality improvement.

• The Mathematical Education
• /
• v.51 no.4
• /
• pp.317-335
• /
• 2012

The purposes of this study were to investigate the perceptions of teachers and students on the implementation of the intensive course completion system in mathematics courses and to provide suggestions for the improvement of the system. Five high school mathematics teachers and 338 10th graders and 87 11th graders in 2 high schools located in Gyeonggi-do participated in this study. The results of this study indicated that the intensive course completion system is more appropriate to the subjects which require less time allotment or practical exercise than mathematics courses. For better implementation of the intensive course completion system in mathematics courses, first of all, enough time allotment for teaching and learning mathematics should be guaranteed. Otherwise, the system can make students feel more burden of learning due to increase in learning volume of mathematics courses.

• The Mathematical Education
• /
• v.61 no.1
• /
• pp.83-108
• /
• 2022

This research is a case study in which teachers tried to improve classes through online class analysis and self-evaluation in elementary school mathematics classes using a checklist of class reflection based on fair access, autonomy, initiative, and evaluation areas in the TRU analysis framework of Schoenfeld (2016). As a result, it was confirmed that the teacher's fair participation, student autonomy, initiative, feedback, and evaluation areas improved teaching methods during the short time. Therefore, if you want to improve classes in relatively short period of time, you can see the effect of some improvement only by self-evaluation. However, continuous improvement of teaching methods require the help of a teacher communities including experts or critical colleagues, and a longer-term case study.

• Education of Primary School Mathematics
• /
• v.14 no.2
• /
• pp.135-145
• /
• 2011

When mathematicians solve the new problems, they present the solutions to their colleagues for getting the approval. If the solution is accepted, it will be theorems. This phenomenon also happens to classrooms in elementary and secondary school. That is main reason to emphasize mathematical communication activities in mathematics education. This study is aimed to develop teaching and learning model for the improvement of mathematical communication ability, applicate the teaching and learning model to two groups and analyze for mathematical thoughts. This study is a case study of 3rd grader's activities. Eight students, four are group applied the teaching and learning model and four are traditional group. The results have been drawn as follows: First, students in the teaching and learning model group induced richer interactions for student's understanding and investigation when we compare to those of traditional group. Second, students in the teaching and learning model group have the chance to explain their thoughts. And we can observe students to clear on their thought through speaking and discussing. This model makes students to enhance organizing, forming and clearing in their mathematical thoughts and is effective to estimate of students thought for teacher.

• Research in Mathematical Education
• /
• v.2 no.2
• /
• pp.71-78
• /
• 1998

This paper investigates the practices of proof education in Korea by analyzing the teaching and learning of proofs in classes in the second year of middle school. With this purpose, this study examines the features and deficiencies of the ways of teaching proofs and investigates the difficulties which students have in learning them. Furthermore, it suggests methods for the improvement of teaching proofs.

• Journal of Fisheries and Marine Sciences Education
• /
• v.25 no.1
• /
• pp.233-245
• /
• 2013

The purpose of this study is to analyse the effects on the academic achievement and learning motive in mathematics class by use of Cornell-note method at an elementary school. Thus, Cornell-mathematic note is designed for the experiment in order to recognize the effects how the Cornell-note influences students' mathematics academic achievement and learning motive. This experiment was carried out for 13 weeks and the target was 28 students. The group was consisted of 6rd grade students in elementary school located in Busan. To see the effects of Cornell-note method after experiment, post-test was carried out about mathematics academic achievement and learning motive. The results of this study are as follows: There was meaningful difference before and after test about mathematics academic achievement and learning motive. The academic achievement and learning motive in mathematics were improved after Cornell-note applied. Improvement of learning motive caused progress of academic achievement in mathematics class. The Cornell-note way is not appropriate, however, to reinforce mathematical communication ability and to attract students' interest. Therefore, systematic symbol is necessary and consider about adoption of story-telling way.

• The Mathematical Education
• /
• v.56 no.1
• /
• pp.119-130
• /
• 2017

The purpose of this study is to explain the long term growth and development of elementary teachers' Professional Learning Communities(PLC) about mathematics implemented on an institutional basis. Especially, it is meaningful to analyze and present the development process and characteristics of PLC, which was started by the basis on the collaboration of a National University of Education and its affiliated elementary school. In this study, PLC activities during three years were analyzed according to the capacities and dimensions of a professional learning community. The developmental capacity of the PLC analyzed in this study can be summarized as follows. In the first year, development of organizational competence in terms of capacity, resources, structure, and system of exchanges was the main factor in personal competence, and the development of individual competence began to share collective learning and practice. In the second year, personal exchanges were active in all the topics of activities, and personal level competence was activated such that more activities of critical knowledge formation were performed on an individual level. On the basis of the development of the individual level formed in the second, individual competence and organizational capacity developed. Factors that have influenced the development of capacities of PLC include: disclosure of activities outside the community, participation in outsiders, provision of procedures to share equal participation and leadership, voluntary and critical participation of teachers, improvement of mathematics teaching methods, sharing themes and visions.

• Education of Primary School Mathematics
• /
• v.25 no.1
• /
• pp.19-41
• /
• 2022

Online classes have become one of the general teaching and learning method in elementary education, and elementary school teachers are essentially required to design and implement online math classes that reflect the characteristics of online environment and the specificity of the subject. The qualitative improvement of online mathematics lessons can start with examining what difficulties teachers actually have in enacting the online lessons, and this study focused on their educational needs by examining the degree to which elementary school teachers perceive and implement in terms of designing online interactions. The result showed that teacher education on Learner-Content Interaction (LC) and Learner-Learner Interaction (LL) was necessary for elementary school teachers designing online mathematics lessons, and the educational needs of detailed items of interactions were confirmed. Furthermore, it was found that there was a difference in educational needs for the types of online interactions according to the career life cycle of elementary school teachers. The instructional design strategies for online interactions in online mathematics lessons and implications for teacher education necessary for elementary school teachers were derived from the result.