• Title/Summary/Keyword: mathematical abstraction

Search Result 50, Processing Time 0.026 seconds

Review of Six Stages Theory of Learning Mathematics Suggested by Zoltan Dienes (Zoltan Dienes의 수학학습 6단계 이론의 재음미)

  • Kim, Soo-Mi
    • School Mathematics
    • /
    • v.10 no.3
    • /
    • pp.339-355
    • /
    • 2008
  • This article tried to review the meaning and implication of six stages theory of learning mathematics suggested by Zoltan Dienes in "Building up Mathematics" in 1971. It was not much concretely known to Korean mathematics education society. In particular, there is no mathematical example which could cover all the stages to know what the theory tells. So this article focused on the example which Dienes developed for learning integers in 2000 to dig the theory. As a result, some critical aspects and problems of six stages theory were found. And finally educational implication was described.

  • PDF

${\lambda}$-calculus (${\lambda}$-연산 소개)

  • Cheong Kye-Seop
    • Journal for History of Mathematics
    • /
    • v.17 no.4
    • /
    • pp.45-64
    • /
    • 2004
  • The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

  • PDF

Educational Method of Computational Thinking Processes using Physical Teaching Devices (피지컬 교구를 활용한 컴퓨팅적 사고과정 교육방법)

  • Hur, Kyeong
    • Journal of Practical Engineering Education
    • /
    • v.10 no.1
    • /
    • pp.35-39
    • /
    • 2018
  • More and more universities are enforcing SW education for non-major undergraduates. However, they are experiencing difficulties in educating non-major students to understand computational thinking processes. In this paper, we did not use the mathematical operation problem to solve this problem. And we proposed a basic problem-solving process teaching method based on computational thinking using simple physical devices. In the proposed educational method, we teach a LED circuit using an Arduino board as an example. And it explains the problem-solving process with computational thinking. Through this, students learn core computational thinking processes such as abstraction, problem decomposition, pattern recognition and algorithms. By applying the proposed methodology, students can gain the concept and necessity of computational thinking processes without difficulty in understanding and analyzing the given problem.

A study on constructing a instructional sequence and content structure based on informal context of mathematical syllabus (비형식적 상황을 이용한 내용구조의 표현과 지도계열의 구성)

  • Shin, Hyun-Sung
    • Journal of the Korean School Mathematics Society
    • /
    • v.8 no.3
    • /
    • pp.357-366
    • /
    • 2005
  • This Study suggests some ideas how we develop a network of content structure based on informal context and method how we decide a sequence of mathematical syllabus from those Structures. 10th grade students in the process conceptual development was observed and interviewed in 2 hour teaching and learning experiment. Three related characteristics of student's thought in structuring math. Content and sequencing it were investigated as follows : (a) the reasoning that they do reflective abstraction well(or do not well) in acquisition of conceptual knowledge. (b) the method that teacher can use resuits in (a) to organize the content structure. (c) the ways that teacher find the process knowledge in informal content structure. That is, this study investigated the way we, curriculum designer, can create well defined content structure and instructional sequence strongly based on the learners' understanding.

  • PDF

Development of a Tool to Measure Math Anxiety Factors for High School Students and Validation of Validity (고등학생용 수학불안 요인 측정 도구 개발 및 타당도 검증)

  • Kang, Yanggu;Han, Sunyoung
    • Communications of Mathematical Education
    • /
    • v.36 no.2
    • /
    • pp.201-227
    • /
    • 2022
  • The purpose of this study was to develop an instrument measuring mathematics anxiety suitable for Korean High school students. In order to achieve this study purpose, the study was conducted according to the procedure of setting components of mathematics anxiety, developing questions, and verifying validity and reliability. First, in order to set the components of mathematic anxiety, previous studies on mathematic anxiety. Through this, six factors of mathematic anxiety were derived. Next, new questions were developed for each of the six constituent factors. The 122 questions were revised and supplemented through two content validity tests, and the final instrument for mathematics anxiety consisted of 49 questions of 6 factors. Finally, to verify the validity and reliability of the measurement instrument for mathematics anxiety, a survey was conducted on 1,848 students from 16 universities in Seoul and the metropolitan area. Next, a validity analysis was conducted with the 1,645 responses, excluding students who answered that there was no mathematics anxiety. As a result of exploratory factor analysis, 15 out of 49 questions were removed. Six factors were named individual characteristics, pressure on achievement, abstraction in mathematics, teaching and learning style, parental attitudes, and cumulative mathematics subjects. As a result of confirmatory factor analysis, the model fit was found to be appropriate, and the convergence validity and discriminant validity were found to be good.

Process Modeling System of a Combined Cycle Plant for Steady State Simulation with Model Based Approach (수학적 모델링 방법에 기초한 복합발전 공정의 정상상태 모사시스템 개발)

  • Kim, Shin Hyuk;Hwang, Lee Si;Joo, Yong Jin;Lee, Sang Uk;Shon, Byung Mo;Oh, Min
    • Korean Chemical Engineering Research
    • /
    • v.53 no.5
    • /
    • pp.545-552
    • /
    • 2015
  • Process modeling and simulation is a powerful methodology to quantitatively predict the change of process variables when operating and design conditions are changed. In this study, considering drawbacks of currently used process simulator for combined cycle plants, we developed process modeling system equipped with an ease of use and flexibility for model development. For this purpose, the analysis of combined cycle processes was carried out and consequently, mathematical models and libraries were developed. Furthermore, in view of the fact that the level of the abstraction of process models depends on the purpose of simulation as well as the available data, simple and rigorous models were also developed for some important units. In use of reference combined plant, we executed process simulation using the developed modeling system and the comparison was made between the results of simulation and the reference data. Less than 1% marginal error was identified and we concluded that the modeling system can be applied for commercial combined cycle processes.

A Hybrid Randomizing Function Based on Elias and Peres Method (일라이어스와 페레즈의 방식에 기반한 하이브리드 무작위화 함수)

  • Pae, Sung-Il;Kim, Min-Su
    • Journal of the Korea Society of Computer and Information
    • /
    • v.17 no.12
    • /
    • pp.149-158
    • /
    • 2012
  • Proposed is a hybrid randomizing function using two asymptotically optimal randomizing functions: Elias function and Peres function. Randomizing function is an mathematical abstraction of producing a uniform random bits from a source of randomness with bias. It is known that the output rate of Elias function and Peres function approaches to the information-theoretic upper bound. Especially, for each fixed input length, Elias function is optimal. However, its computation is relatively complicated and depends on input lengths. On the contrary, Peres function is defined by a simple recursion. So its computation is much simpler, uniform over the input lengths, and runs on a small footprint. In view of this tradeoff between computational complexity and output efficiency, we propose a hybrid randomizing function that has strengths of the two randomizing functions and analyze it.

A Study on Application of Concrete Object and Semi-Concrete Object in Elementary Geometry Learning (초등기하 학습에서의 구체물과 반구체물 활용에 대한 연구)

  • Yim, Youngbin;Hong, Jin-Kon
    • School Mathematics
    • /
    • v.18 no.3
    • /
    • pp.441-455
    • /
    • 2016
  • The position as saying that the math learning needs to begin from what diversely presents concrete object or familiar situation is well known as a name dubbed CSA(Concrete-Semiconcrete-Abstract). Compared to this, a recent research by Kaminski, et al. asserts that learning an abstract concept first may be more effective in the aspect of knowledge transfer than learning a mathematical concept with concrete object of having various contexts. The purpose of this study was to analyze a class, which differently applied a guidance sequence of concrete object, semi-concrete object, and abstract concept in consideration of this conflicting perspective, and to confirm its educational implication. As a result of research, a class with the application of a concept starting from the concrete object showed what made it have positive attitude toward mathematics, but wasn't continued its effect, and didn't indicate significant difference even in achievement. Even a case of showing error was observed rather owing to the excessive concreteness that the concrete object has. This error wasn't found in a class that adopted a concept as semi-concrete object. This suggests that the semi-concrete object, which was thought a non-essential element, can be efficiently used in learning an abstract concept.

A Study on Construction of Multiplication Knowledge with Low Reasoning Ability (추론 능력이 열등한 초등학교 2학년 학생의 곱셈 지식 구성 능력에 관한 연구)

  • Lee, So-Min;Kim, Jin-Ho
    • Journal of the Korean School Mathematics Society
    • /
    • v.12 no.1
    • /
    • pp.47-70
    • /
    • 2009
  • The purpose of this research was to confirm one of constructivists' assumptions that even children 조o are with low reasoning ability can make reflective abstracting ability and cognitive structures by this ability can make generation ability of new knowledge by themselves. To investigate the assumption, learner-centered instruction were implemented to 2nd grade classroom located in Suseong Gu, DaeGu City and with lesson plans which initially were developed by Burns and corrected by the researchers. Recordings videoed using 2 video cameras, observations, instructions, children's activity worksheets, instruction journals were analyzed using multiple tests for qualitative analysis. Some conclusions are drawn from the results. First, even children with low reasoning ability can construct mathematical knowledge on multiplication in their own. ways, Thus, teachers should not compel them to learn a learning lesson's goals which is demanded in traditional instruction, with having belief they have reasoning ability. Second, teachers need to have the perspectives of respects out of each child in their classroom and provide some materials which can provoke children's cognitive conflict and promote thinking with the recognition of effectiveness of learner-centered instruction. Third, students try to develop their ability of reflective and therefore establish cognitive structures such as webs, not isolated and fragmental ones.

  • PDF

Comparison of Deep Learning Frameworks: About Theano, Tensorflow, and Cognitive Toolkit (딥러닝 프레임워크의 비교: 티아노, 텐서플로, CNTK를 중심으로)

  • Chung, Yeojin;Ahn, SungMahn;Yang, Jiheon;Lee, Jaejoon
    • Journal of Intelligence and Information Systems
    • /
    • v.23 no.2
    • /
    • pp.1-17
    • /
    • 2017
  • The deep learning framework is software designed to help develop deep learning models. Some of its important functions include "automatic differentiation" and "utilization of GPU". The list of popular deep learning framework includes Caffe (BVLC) and Theano (University of Montreal). And recently, Microsoft's deep learning framework, Microsoft Cognitive Toolkit, was released as open-source license, following Google's Tensorflow a year earlier. The early deep learning frameworks have been developed mainly for research at universities. Beginning with the inception of Tensorflow, however, it seems that companies such as Microsoft and Facebook have started to join the competition of framework development. Given the trend, Google and other companies are expected to continue investing in the deep learning framework to bring forward the initiative in the artificial intelligence business. From this point of view, we think it is a good time to compare some of deep learning frameworks. So we compare three deep learning frameworks which can be used as a Python library. Those are Google's Tensorflow, Microsoft's CNTK, and Theano which is sort of a predecessor of the preceding two. The most common and important function of deep learning frameworks is the ability to perform automatic differentiation. Basically all the mathematical expressions of deep learning models can be represented as computational graphs, which consist of nodes and edges. Partial derivatives on each edge of a computational graph can then be obtained. With the partial derivatives, we can let software compute differentiation of any node with respect to any variable by utilizing chain rule of Calculus. First of all, the convenience of coding is in the order of CNTK, Tensorflow, and Theano. The criterion is simply based on the lengths of the codes and the learning curve and the ease of coding are not the main concern. According to the criteria, Theano was the most difficult to implement with, and CNTK and Tensorflow were somewhat easier. With Tensorflow, we need to define weight variables and biases explicitly. The reason that CNTK and Tensorflow are easier to implement with is that those frameworks provide us with more abstraction than Theano. We, however, need to mention that low-level coding is not always bad. It gives us flexibility of coding. With the low-level coding such as in Theano, we can implement and test any new deep learning models or any new search methods that we can think of. The assessment of the execution speed of each framework is that there is not meaningful difference. According to the experiment, execution speeds of Theano and Tensorflow are very similar, although the experiment was limited to a CNN model. In the case of CNTK, the experimental environment was not maintained as the same. The code written in CNTK has to be run in PC environment without GPU where codes execute as much as 50 times slower than with GPU. But we concluded that the difference of execution speed was within the range of variation caused by the different hardware setup. In this study, we compared three types of deep learning framework: Theano, Tensorflow, and CNTK. According to Wikipedia, there are 12 available deep learning frameworks. And 15 different attributes differentiate each framework. Some of the important attributes would include interface language (Python, C ++, Java, etc.) and the availability of libraries on various deep learning models such as CNN, RNN, DBN, and etc. And if a user implements a large scale deep learning model, it will also be important to support multiple GPU or multiple servers. Also, if you are learning the deep learning model, it would also be important if there are enough examples and references.