• Title/Summary/Keyword: Computer Algebra System

Search Result 59, Processing Time 0.031 seconds

The Case Study of High School Students' Understanding of the Concept of Parameter In A Computer Algebra Environment (컴퓨터 대수 환경에서 매개변수 개념에 대한 고등학생의 이해에 관한 사례 연구)

  • Cho, Yeong-Ju;Kim, Kyung-Mi
    • Communications of Mathematical Education
    • /
    • v.24 no.4
    • /
    • pp.949-974
    • /
    • 2010
  • The purpose of the study was to investigate how students' understanding was formed for solving the algebra problems involving parameters in a computer algebra environment. The teaching experiment has been conducted with 6 high school students. As a result, students studied the parameter in different roles such as placeholder, changing quantity, unknown and generalizer. The results indicate that a computer algebra environment offers opportunities for algebra activities that may support the development of understanding of the concept of parameter.

Mathematics Curriculum with Computer Algebra System: The Development of the Function Curriculum Using 'Mathview' in the 10th Grade Mathematics (Mathview를 도구로한 고등학교 함수 단원 구성)

  • 류희찬;지현희;조민식
    • School Mathematics
    • /
    • v.2 no.1
    • /
    • pp.183-202
    • /
    • 2000
  • The purpose of this study is to restructure the 10th grade mathematics curriculum for teaching the function area under the computer environment using ‘Mathview’, which is a computer algebra system designed for exploring algebra dynamically. The instructional sequence of the function area was redesigned to highlight the functions and properties of the computer software. And, based on the newly designed sequence, this study develops the sample ‘teaching unit’ using Mathview. The basic principle of the materials is to encourage students to investigate mathematics by manipulate various experimental tasks by themselves or through group study. And, the draft of the sequence and teaching unit was reviewed by some mathematics teachers and revised through the feedback.

  • PDF

Process Algebra for Multiple Shared Resources (다중 공유 자원을 위한 프로세스 대수)

  • Yoo, Hee-Jun;Lee, Ki-Huen;Choi, Jin-Young
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.27 no.3
    • /
    • pp.337-344
    • /
    • 2000
  • In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.

  • PDF

The Development of e-Learning System for Science and Engineering Mathematics using Computer Algebra System (컴퓨터 대수 시스템을 이용한 이공계 수학용이러닝 시스템 개발)

  • Park, Hong-Joon;Jun, Young-Cook;Jang, Moon-Suk
    • The KIPS Transactions:PartA
    • /
    • v.14A no.6
    • /
    • pp.383-390
    • /
    • 2007
  • This paper describes the e-learning system for science and engineering mathematics using computer algebra system and Bayesian inference network. The best feature of this system is using one of the most recent mathematical dynamic web content authoring model which is called client independent dynamic web content authoring model and using the Bayesian inference network for diagnosing student's learning. The authoring module using computer algebra system provides teacher-user with easy way to make dynamic mathematical web contents. The diagnosis module using Bayesian inference network helps students know the weaker parts of their learning, in this way our system determines appropriate next learning sequences in order to provide supplementary learning feedback.

Development of an Adaptive e-Learning System for Engineering Mathematics using Computer Algebra and Bayesian Inference Network (컴퓨터 대수와 베이지언 추론망을 이용한 이공계 수학용 적응적 e-러닝 시스템 개발)

  • Park, Hong-Joon;Jun, Young-Cook
    • The Journal of the Korea Contents Association
    • /
    • v.8 no.5
    • /
    • pp.276-286
    • /
    • 2008
  • In this paper, we introduce an adaptive e-Learning system for engineering mathematics which is based on computer algebra system (Mathematica) and on-line authoring environment. The system provides an assessment tool for individual diagnosis using Bayesian inference network. Using this system, an instructor can easily develop mathematical web contents via web interface. Examples of such content development are illustrated in the area of linear algebra, differential equation and discrete mathematics. The diagnostic module traces a student's knowledge level based on statistical inference using the conditional probability and Bayesian updating algorithm via Netica. As part of formative evaluation, we brought this system into real university settings and analyzed students' feedback using survey.

Design of the complex Object Algebra for Enhancing Expressive Power (표현력 증대를 위한 복합 객체 대수의 설계)

  • Song, Ji-Yeong;Bae, Hae-Yeong
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.6
    • /
    • pp.1355-1364
    • /
    • 1996
  • A complex object model is one of the value based data model which extends the existing relational data model for supporting complex structured data. This paper studies a method for designing algebra for the complex object model. For this some others' algebra supporting complex objects are compared and analysed in terms of the applicability of a algebraic optimization strategics. The complex object algebra is designed, based on four principles, simple and clear definitions, no restriction on input data, single specification system. The central nature of this paper is to keep the basis of algebraic optimization method through simplicity, safety and the applicability of algebraic optimization strategy. Finally, it shown that the designed algebra has the equivalent or enhanced expressability with other's algebra.

  • PDF

ERROR ANALYSIS USING COMPUTER ALGEBRA SYSTEM

  • Song, Kee-Hong
    • East Asian mathematical journal
    • /
    • v.19 no.1
    • /
    • pp.17-26
    • /
    • 2003
  • This paper demonstrates the CAS technique of analyzing the nature and the structure of the numerical error for education and research purposes. This also illustrates the CAS approach in experimenting with the numerical operations in an arbitrary computer number system and also in doing error analysis in a visual manner.

  • PDF

A Qualitative analysis of students' factorization of xn-1 using a CAS application (CAS 어플리케이션을 이용한 xn-1의 인수분해 일반화 과정에 대한 질적 분석)

  • Cho, Yeong Ju;Kim, Kyung Mi;Whang, Woo Hyung
    • The Mathematical Education
    • /
    • v.52 no.3
    • /
    • pp.271-301
    • /
    • 2013
  • The purpose of the study was to investigate how students generalize and prove the factoring of $x^n-1$ using a Computer Algebra System application and the role of CAS in this process. The theoretical framework consists of the anthropological and the instrumental approach. In particular, the basis of the Task-Technique-Theorization(T-T-T) frame adapted form Chevallard's anthropological approach of Didactics is utilized. We found that Technique-Theorization emerges in mutual interaction between paper-and-pencil techniques and computer algebra techniques. And this interaction led to the students' theoretical reflection and conceptual understanding. In this process, we could identify three epistemic role of CAS : the role of checking the result, the role of cognitive stimulation and the role of extending thinking. Therefore CAS plays on a epistemic role of checking the result of a task, stimulating the student' cognition and extending their thinking as well as pragmatic role of producing the result of a input.

Drawing the outlines of shapes by using the graphs of functions (함수의 그래프를 이용한 형상의 윤곽 그리기)

  • Ha, Junhong
    • The Journal of Korean Institute for Practical Engineering Education
    • /
    • v.2 no.2
    • /
    • pp.49-54
    • /
    • 2010
  • The functions and their graphs are very important parts in mathematical educations. But there seems be a lot of students studying the functions and their graphs without grasping the meaning of them and without interest with them. We present a learning method of how to match functions and their graphs with outlines of various shapes. That is, outlines of the shapes are assumed to be the graphs of the functions and the graphs will be plotted on the screen of a computer with help of the computer algebra system.

  • PDF