• 제목/요약/키워드: computer algebra system

검색결과 59건 처리시간 0.029초

스토리텔링 수학 교과서에서 공학적 도구의 활용과 미분적분학 단원에 관한 개발 사례 (A Case Study of Perceptions on Storytelling Mathematics Textbooks with Computer Algebra System)

  • 이상구;신준국;김경원
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제28권1호
    • /
    • pp.65-79
    • /
    • 2014
  • 스토리텔링 기법을 수학 교과서에 적용할 때, 스토리를 전개하는 방법에 따라 늘어나는 학습시간을 효율적으로 조절하는 것은 중요한 문제이다. 특히 고교과정의 수학은 중학교 과정과 비교하여 소화하여야 할 수학적 지식의 양과 질이 차별화 되므로, 각 단원에 적절한 스토리텔링 기법을 개발할 필요가 있다. 본 연구에서는 고등학교 미분적분학 단원을 중심으로, 공학적 도구를 활용하여 수학 문제 풀이에 요구되는 계산 시간을 줄여 개념학습 시간을 충분하게 확보하는 스토리텔링 교과서 개발 사례를 제시한다.

Theorema 시스템을 응용한 TI-92 메뉴얼 생성기 개발 (Development of a TI-92 Manual Generator Based on the Theorema System)

  • 전영국
    • 컴퓨터교육학회논문지
    • /
    • 제5권3호
    • /
    • pp.79-87
    • /
    • 2002
  • 알고리즘을 컴퓨터로 구현하여 수식 입력에 대한 출력을 과정없이 보여주는 프로그램이 컴퓨터 대수 시스템이다. 이 시스템에 연역적 추론을 자동화하는 과정을 수행하는 자동 연역 시스템을 결합하는 시도로 구현된 것이 Theorema 시스템이다. 오스트리아의 RISC 연구소에서 개발된 이 시스템은 Mathematica의 rewriting 기법을 사용하여 구현되었는데, 계산과 문제 해결, 증명을 할 수 있는 모드를 지원하고 있다. 본 논문에서는 계산 모드의 Theorema 언어를 구사하여 TI-92 그래픽 계산기에 탑재된 Derive 시스템의 일부를 시뮬레이션한 결과를 토대로 TI-92 메뉴얼을 Mathematica notebook의 형태로 생성하는 도구를 개발한 내용을 소대한다. 또한, 이렇게 하여 생성된 매뉴얼이 자바 서브릿을 통하여 웹기반 학습용 인터페이스로 연계되는 일련의 과정을 제시한다.

  • PDF

Implementation issues for Uncertain Relational Databases

  • Yu, Hairong;Ramer, Arthur
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
    • /
    • pp.128-133
    • /
    • 1998
  • This paper aims to present some ideas for implementation of Uncertain Relational Databases (URD) which are extensions of classical relational databases. Our system firstly is based on possibility distribution and probability theory to represent and manipulate fuzzy and probabilistic information, secondly adopts flexible mechanisms that allow the management of uncertain data through the resources provided by both available relational database management systems and front-end interfaces, and lastly chooses dynamic SQL to enhance versatility and adjustability of systems.

  • PDF

선형대수학의 두 가지 기원적 개념 (Two original concepts in linear algebra)

  • 박홍경
    • 한국수학사학회지
    • /
    • 제21권1호
    • /
    • pp.109-120
    • /
    • 2008
  • 오늘날 선형대수학은 이론의 기초적 성격과 응용의 풍부성으로 인해 대학수학에 있어서 필수적인 분야로서 자리하고 있다. 하지만 선형대수학의 기계적인 계산위주나 딱딱한 형식적 개념위주의 학습으로 인해 학생들은 종종 큰 벽에 부딪치게 되고 심한 경우에는 수학자체에 흥미를 잃기도 한다. 따라서 선형대수학을 성공적으로 가르치는 것은 매우 중요한 문제이다. 이 문제를 해결하기 위한 방안으로 본 논문에서는 학생의 입장에서 선형대수학에 기원적 개념의 도입을 제안한다 기원적 개념이란 역사적 순서나 이론적 체계에 있어서 실제 출발점이 되면서 선형대수학의 중요한 개념들을 이끌어낼 수 있는 씨앗역할을 하는 개념을 의미한다. 여기서는 선형대수학의 두 가지 기원적 개념을 제시한다. 하나는 평면과 공간의 기하학이며, 다른 하나는 1차(선형대수)방정식이다. 전자가 기원적 개념이 되는 것은 [2]에 의거하며 여기서는 1차 방정식이 또 다른 기원적 개념임을 보인다.

  • PDF

정성 추론에 의한 절삭 시스넴의 개념 설계 (Conceptual Design of Cutting System by Qualitative Reaoning)

  • 김성근;최영석
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1996년도 춘계학술대회 논문집
    • /
    • pp.531-535
    • /
    • 1996
  • Computer aided conceptual solution of engineering problems can be effectively implemented by qualitative reasoning based on a physical model. Qualitative reasoning needs modeling paradigm which provides intellignet control of modeling assumptions and robust inferences without quantitative information about the system. We developed reasoning method using new algebra of qualitative mathematics. The method is applied to a conceptual design scheme of anadaptive control system of cutting process. The method identifies differences between proportional and proportional-integral control scheme of cutting process. It is shown that unfeasible investment could be prevented in the early conceptual stage by the qualitative reasoning procedures proposed in this paper.

  • PDF

개인 적응형 이산 수학 학습을 위한 CAS 기반의 가상 학습 시스템 개발 (Development of a CAS-Based Virtual Learning System for Personalized Discrete Mathematics Learning)

  • 전영국;강윤수;김선홍;정인철
    • 한국학교수학회논문집
    • /
    • 제13권1호
    • /
    • pp.125-141
    • /
    • 2010
  • 본 연구의 목적은 컴퓨터대수시스템(CAS)를 활용하여 개인 적응용 이산수학 학습을 가능케하는 웹기반 가상 학습용 콘텐츠를 개발하는 것이다. 중등과정과 대학과정의 이산수학에서 공통적으로 등장하는 집합, 관계, 행렬, 그래프 등의 내용 요목을 중심으로 콘텐츠를 구성하였다. 이산수학의 특성상 컴퓨터를 사용한 이산구조를 즉각적으로 처리하여 그 결과를 시각적으로 제시하는 가상 학습용 콘텐츠 제작 환경을 제시하였다. 각 단원마다 동영상 기반의 강의 콘텐츠를 제공하였으며 강의 기반의 개념을 구체화할 수 있는 Mathematica 기반의 실습하기 기능을 추가하였다. 특히 행렬 단원 학습에서 학습구조도식을 이용한 콘텐츠 설계와 이에 따른 내용 요소별 베이지언 추론망 기반의 진단학습 모듈을 추가함으로써 구체적인 피드백을 통한 개인 적응형 학습이 가능하도록 설계하였다. 개발된 행렬 학습용 콘텐츠 중심으로 10명의 이공계 대학생이 실제 사용해 본 반응을 형성평가의 일환으로 분석하여 향후 수정 방향을 도출하였다.

  • PDF

고등학교 수학 문제해결에서 CAS의 도구발생 (Instrumental Genesis of Computer Algebra System(CAS) in Mathematical Problem Solving among High School Students)

  • 한세호;장경윤
    • 대한수학교육학회지:학교수학
    • /
    • 제11권3호
    • /
    • pp.527-546
    • /
    • 2009
  • 본 연구는 CAS가 도입된 이후의 우리나라 수학교육에 대비하여 고등학교 수학활동에서 CAS의 도구발생 과정을 통찰하고, 중등수학교육에서 도구화된 CAS의 활용 가능성을 탐색하기 위해 설계되었다. 이를 위하여 본 연구자는 CAS에 기반 한 개념중심 수학과제 학습과 문제해결을 각각 고안하였으며 고등학교 1학년생 7명을 대상으로 총 12차시의 수업을 실시하고 수업녹화자료와 면담을 통해 학생들의 활동을 분석하였다. 분석결과 학생들은 CAS를 이용하여 수준 높은 응용문제를 다룰 수 있는 것으로 나타나 CAS가 교육과정 내용수준에 영향을 줄 수 있음을 확인할 수 있었고, 또 도구화된 CAS에 기반 한 무리방정식 문제해결활동을 통해 CAS가 교육과정의 제시 순서에 영향을 줄 수 있음을 발견하였다. 이 연구는 고등학교 수학교육에서 CAS의 도구발생을 분석하여 사례를 제공함으로써 CAS가 도입된 이후의 우리나라 수학교육에 대비한 기초연구가 될 것이다.

  • PDF

컴퓨터 대수체계(CAS) 대비 중등대수교육 기초 연구 (Comparative Study in Algebra Education with CAS: Korea and US cases)

  • 장경윤
    • 대한수학교육학회지:학교수학
    • /
    • 제10권2호
    • /
    • pp.297-317
    • /
    • 2008
  • 본 연구는 중등학교에서 CAS도입을 대비한 기초연구로 CAS 환경에서 모델링 문제해결 과정과 CAS 활용방식을 조사하였다. 수학교육과정 배경과 CAS 장착 정도가 문제해결과정과 CAS 사용전략에 변인이 될 가능성을 고려하여 비교연구로 수행하였으며 한 미 고등학교 2학년생 각 8명과 26명이 연구에 참여하였다. 연구결과 고전적 상자문제에서 CAS는 기호조작명령어와 그래프로 문제해결에 도움이 되었으나 수학적 개념이나 통찰을 대신하지 않았으며, 수학적 모델의 분석과 풀이, 결과 적용과 해석, CAS사용에 있어서 집단간 질적인 차이를 보였다. 수업을 통해 CAS 장착이 비교적 안정된 미국학생들 다수가, 한국 학생들과 대조적으로, 중간값 정리를 적용하여 해의 범위를 추정하는데 CAS를 사용하였으며 여러 표상의 연결을 시도하였다. CAS는 지필기법을 대신하는 데 그치지 않고, 실수의 소수표현과 대수적 표현, 수감각과 함수의 성질, 여러 표상의 연결성 등 대수통찰에 주목하게 하는 등 CAS의 가능성과 억제력은 대수교육에서 인식론적 변화와 교육과정 변화를 초래하는 것으로 나타났다.

  • PDF

Clustering method for similar user with Miexed Data in SNS

  • Song, Hyoung-Min;Lee, Sang-Joon;Kwak, Ho-Young
    • 한국컴퓨터정보학회논문지
    • /
    • 제20권11호
    • /
    • pp.25-30
    • /
    • 2015
  • The enormous increase of data with the development of the information technology make internet users to be hard to find suitable information tailored to their needs. In the face of changing environment, the information filtering method, which provide sorted-out information to users, is becoming important. The data on the internet exists as various type. However, similarity calculation algorithm frequently used in existing collaborative filtering method is tend to be suitable to the numeric data. In addition, in the case of the categorical data, it shows the extreme similarity like Boolean Algebra. In this paper, We get the similarity in SNS user's information which consist of the mixed data using the Gower's similarity coefficient. And we suggest a method that is softer than radical expression such as 0 or 1 in categorical data. The clustering method using this algorithm can be utilized in SNS or various recommendation system.