• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.171-186
• /
• 2009

$Poincar\acute{e}$ is mathematician and the episodes in his mathematical invention process give suggestions to scholars who have interest in how mathematical invention happens. He emphasizes the value of unconscious activity. Furthermore, $Poincar\acute{e}$ points the complementary relation between unconscious activity and conscious activity. Also, $Poincar\acute{e}$ emphasizes the value of intuition and logic. In general, intuition is tool of invention and gives the clue of mathematical problem solving. But logic gives the certainty. $Poincar\acute{e}$ points the complementary relation between intuition and logic at the same reasons. In spite of the importance of relation between intuition and logic, school mathematics emphasized the logic. So students don't reveal and use the intuitive thinking in mathematical problem solving. So, we have to search the methods to use the complementary relation between intuition and logic in mathematics education.

• Journal of Korean Society for Quality Management
• /
• v.11 no.2
• /
• pp.2-9
• /
• 1983

As will be seen, this paper is tries that the research on the mathematical structure of Markov process and Markovian sequential decision process (the policy improvement iteration method,) moreover, that it analyze the logic and the characteristic of behavior of mathematical model of Markov process. Therefore firstly, it classify, on research of mathematical structure of Markov process, the forward equation and backward equation of Chapman-kolmogorov equation and of kolmogorov differential equation, and then have survey on logic of equation systems or on the question of uniqueness and existence of solution of the equation. Secondly, it classify, at the Markovian sequential decision process, the case of discrete time parameter and the continuous time parameter, and then it explore the logic system of characteristic of the behavior, the value determination operation and the policy improvement routine.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.1110-1115
• /
• 1991

Tne mathematical modeling and analysis results of a dataflow logic solving processor(DFLSP) for programmable logic controller(PLC) are proposed in this paper. The logic program language is formalized using a dataflow graph model. From this dataflow graph, the instruction precedence relationship, and deadlock problems, which are major properties of a logic program, are described.

• The Journal of Korea Robotics Society
• /
• v.12 no.3
• /
• pp.287-296
• /
• 2017

Robots are used in early childhood education as a new instructional media, and educational activities using robots have been increased. So the purpose of this study is to investigate the effect of educational activities using hands-on robots on logic-mathematical knowledge and creative problem-solving ability of young children. The total number of subjects was 43, and they were all five-year-old children. The experimental group and control group did activities with hands-on robots and general free activities, respectively. Results using ANCONA have shown that the activities with hands-on robots positively affected logic-mathematical knowledge and creative problem-solving ability of young children. These meaningful results have shown the possibility of early childhood educational use as the effectiveness of hands-on robots has come out.

• The Mathematical Education
• /
• v.48 no.4
• /
• pp.455-467
• /
• 2009

During problem solving, "mathematical thought process" is a systematic sequence of thoughts triggered between logic and insight. The test questions are formulated into several areas of questioning-types which can reveal rather different result. The lower level questions are to investigate individual ability to solve multiple mathematical problems while using "mathematical thought." During problem solving, "mathematical thought process" is a systematic sequence of thoughts triggered between logic and insight. The scope of this case study is to present a desirable model in solving mathematical problems and to improve teaching methods for math teachers.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.129-144
• /
• 2009

The purpose of this study is what exactly De Morgan contributed to abstract algebra and mathematical logic. He recognised the purely symbolic nature of algebra and was aware of the existence of algebras other than ordinary algebra. He madealgebra as a science by introducing the ordered field and made the base for abstract algebra. He was one of the reformer of classical mathematical logic. Looking into De Morgan's works, we made it clear that the developments of algebra and mathematical logic in 19C.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.14 no.3
• /
• pp.188-199
• /
• 2014

Although the fuzzy logic controller is superior to the proportional integral derivative (PID) controller in motor control, the gain tuning of the fuzzy logic controller is more complicated than that of the PID controller. Using mathematical analysis of the proportional derivative (PD) and fuzzy logic controller, this study proposed a design method of a fuzzy logic controller that has the same characteristics as the PD controller in the beginning. Then a design method of a fuzzy logic controller was proposed that has superior performance to the PD controller. This fuzzy logic controller was designed by changing the envelope of the input of the of the fuzzy logic controller to nonlinear, because the fuzzy logic controller has more degree of freedom to select the control gain than the PD controller. By designing the fuzzy logic controller using the proposed method, it simplified the design of fuzzy logic controller, and it simplified the comparison of these two controllers.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• The Mathematical Education
• /
• v.45 no.3 s.114
• /
• pp.263-273
• /
• 2006

The purpose of this paper is to research the factors and the effects of immediacy in mathematics teaching and learning and mathematical problem solving. The factors of immediacy are visualization, functional fixedness and representatives. In special, students can apprehend immediately the clues and solution using the visual representation because of its properties of finiteness and concreteness. But the errors sometimes originate from visual representation which come from limitation of the visual representation. It suggests that students have to know conceptual meaning of the visual representation when they use the visual representation. And this phenomenon is the same in functional fixedness and representatives which are the factors of immediacy The methods which overcome the errors of immediacy is that problem solvers notice the limitation of the factors of immediacy and develop the meta-cognitive ability. And it means we have to emphasize the logic and the intuition in mathematical teaching and learning. Clearly, we can't solve all mathematical problems using only either the logic or the intuition.

• Journal for History of Mathematics
• /
• v.28 no.5
• /
• pp.263-278
• /
• 2015

As intuition is more unreliable than logic or reason, its studies in mathematics and mathematics education have not been done that much. But it has played an important role in the invention and development of mathematics with logic. So, it is necessary to recognize and explore the value of intuition in mathematics education. In this paper, I investigate the function and role of intuition in terms of mathematical learning and problem solving. Especially, I discuss the positive and negative aspects of intuition with its characters. The intuitive acceptance is decided by self-evidence and confidence. In relation to the intuitive acceptance, it is discussed about the pedagogical problems and the role of intuitive thinking in terms of creative problem solving perspectives. Intuition is recognized as an innate ability that all people have. So, we have to concentrate on the mathematics education via intuition and the complementary between intuition and logic. For further research, I suggest the studies for the mathematics education via intuition for students' mathematical development.