• Title/Summary/Keyword: 논리 프로그래밍

Search Result 218, Processing Time 0.021 seconds

Development of the Robot Programing learning model which uses Visual Programing tool (비주얼 프로그래밍 도구를 이용한 로봇 프로그래밍 학습 모형의 개발)

  • Jeong, Sang-Yeob;Yoo, In-Hwan
    • 한국정보교육학회:학술대회논문집
    • /
    • 2008.01a
    • /
    • pp.148-153
    • /
    • 2008
  • 지식 기반 사회에서는 논리적인 사고를 통해 외부의 자극에서 새로운 가치를 창조하고 스스로 지식을 형성하는 능력이 필요하다. 그리고 컴퓨터 교육의 목적은 기능의 습득이 아니라 습득한 기능을 유기적으로 이용하여 주어진 문제를 해결하는 논리적 사고력의 향상에 있다. 따라서 논리적 사고력을 기를 수 있는 프로그래밍 교육을 학생들에게 지도하여야 한다. 본 연구에서 논 프로그래밍 입문기 학습자들이 갖는 어려움, 즉 프로그래밍 언어의 단어와 문법 암기 따른 부담을 덜고 프로그래밍 학습이 갖는 논리적 알고리즘 탐구에 집중하고자 기존의 구문 중심 프로그래밍 언어가 아닌 아이콘 기반의 비주얼 프로그래밍 도구를 제시한다. 그리고 기존의 프로그래밍 학습에서 아동들이 추상적으로 해 왔던 프로그래밍 과정을 로봇을 이용하여 구체적이고 실험적인 학습을 하도록 하며 아울러 일반 학급에서 적용할 수 있는 로봇 활용 프로그래밍 교육 프로그램을 구상하였다.

  • PDF

확률적 명제 논리 프로그래밍

  • Sin, Yang-Gyu
    • Journal of the Korean Data and Information Science Society
    • /
    • v.6 no.1
    • /
    • pp.13-21
    • /
    • 1995
  • 논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

  • PDF

The Analysis of Children's Logical Thinking Improvements with Dolittle Programming Learning (Dolittle 프로그래밍 학습을 통한 초등학생의 논리적 사고력 신장에 관한 분석)

  • Hong, Jae-Un;Lee, Soo-Jung
    • 한국정보교육학회:학술대회논문집
    • /
    • 2007.08a
    • /
    • pp.201-206
    • /
    • 2007
  • 현재 컴퓨터 교육은 흥미와 실용위주의 컴퓨터 활용교육과 컴퓨터 소양교육에 치우쳐 있어 컴퓨터의 작동원리 등의 컴퓨터 과학을 이해하기에는 부족함이 많다. 특히 컴퓨터과학 분야 중 문제해결력, 논리적 사고력을 향상시키기 위한 프로그래밍 기초 교육은 보다 강조해야 한다. 본 연구에서는 객체지향형 교육용프로그래밍언어 두리틀을 초등학생들에게 프로그래밍을 지도할 수 있는 최적의 언어로 선정하고 다른 프로그래밍 언어와 비교 분석해 보았다. 그리고 자기 자신의 학습상황을 감독 관리하는 능력인 메타인지 수준에 따라 학습자를 분류한 후, 두리틀 프로그래밍 학습 후 논리적 사고와 그 하위논리의 효과, 그리고 메타인지 수준에 따른 논리적 사고와 그 하위 논리별로 미치는 영향을 분석하였다.

  • PDF

초등학생들의 논리적 사고력 신장을 위한 선언적 프로그래밍의 교육

  • Kim, Yun-Sik;Han, Seon-Gwan
    • 한국정보교육학회:학술대회논문집
    • /
    • 2005.08a
    • /
    • pp.69-77
    • /
    • 2005
  • 본 연구는 초등학생들의 논리적 사고력을 신장시키기 위해 지식 기반 프로그램인 선언적 프로그램을 통해 교육현장에서도 적용할 수 있는 프로그래밍 교육을 제언하고자 한다. 학생들에게 논리적 사고 중에서도 협의의 논리적 사고 즉, 기호적 사고, 분석적 사고, 추론적 사고, 종합적 사고를 분석적 방법을 통해 실제 프로그래밍을 해 봄으로써 연역적 사고 또는 귀납적 사고를 보다 효과적이고 체계적인 프로그래밍을 할 수 있도록 지도함으로써 제 8차 교육과정에서의 컴퓨터 교육과정의 일부분으로서의 프로그래밍의 마인드를 제시하였다. 따라서 본 연구는 선언적 프로그램을 통해서 초등학교 학생들의 논리적 사고력 신장를 위하여 프로그래밍 교수학습의 방법적인 측면을 제시하고자 한다.

  • PDF

개선된 병렬 논리프로그래밍 시스템의 복잡도 분석

  • 정인정
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.2 no.1
    • /
    • pp.59-77
    • /
    • 1992
  • 본 논문은 컴퓨터 시스템의 보호 및 데이타 통신의 암호등과 관계가 있는 논리 프로그래밍에 대한 것이다. 본 논문에서 우리는 병력 논리프로그래밍 시스템에 대한 개선된 conteol strategy를 제안하였으며, 이에대한 형식적인 syntax와 semantics등을 정의하였다. 병렬 논리프로그램에 대한 병력성등을 분류하여, 이들이 어떻게 활용되는지 설명하였다. 또한 병렬 논리프로그램의 유도과정과 계산방식이 같은 alternating Turing machine이란 병렬 계산모형을 제안하여, 논리프로그램의 복잡도의 분석과 제안된 idea에 대한 타당성을 ATM을 이용하여 하였다.

Effect of a Flow Char Learning on Logical Thinking Ability and Performance Achievement in Middle School Computer Programming Class (중학교 프로그래밍 수업에서 순서도학습이 논리적 사고력과 성취도에 미치는 영향)

  • Jung, EunSook;Huh, Min;Jin, Younghak;Kim, YungSik
    • The Journal of Korean Association of Computer Education
    • /
    • v.12 no.6
    • /
    • pp.11-19
    • /
    • 2009
  • In the knowledge-information-oriented society, it is difficult for students to solve lots of problems or adapt themselves to society just by using simple knowledge. Students have to develop individual problem solving ability and creative, logical thinking ability. They can develope these abilities by learning computer programming. This thesis studies the influences of a flow-chart learning on the logical thinking ability in Scratch using programming learning. The findings identify that the making algorithm by using flow-chart is more effective in developing logical thinking ability then the making algorithm by using pseudo-code.

  • PDF

A Study on the Development and Verification of a Logical Thinking Ability Measuring Tool in Computer Programming Learning (컴퓨터 프로그래밍 학습에서 논리적 사고력 측정도구의 개발과 타당화 연구)

  • Lee, Joataek;Yi, Sangbong
    • The Journal of Korean Association of Computer Education
    • /
    • v.7 no.4
    • /
    • pp.15-25
    • /
    • 2004
  • Previous researches on the effect of programming learning upon logical thinking ability have used a standardized test to measure logical thinking ability in the general and comprehensive aspect after programming learning. Considering that the areas of intelligence are separated from one another and work independently, the existing standardized tool to measure general and comprehensive logical thinking ability has a limitation in measuring a logical thinking ability required at specific areas. Thus this study extracted logical thinking and its sub-factors related to computer programming and suitable for the level of cognitive development through analyzing standardized test sheets at home and abroad, and developed logical thinking test I and II of the same form according to a development procedure model. The result of verifying the developed logical thinking tests proved that the two tests are logical thinking tests of the same form. The developed tests can be utilized in identifying the effect of programming learning upon logical thinking and its sub-factors.

  • PDF

Curriculum for Basic Digital Logic Circuit Practices through Arduino Device Programming (아두이노 장치 프로그래밍을 통한 기초 디지털 논리 회로 실습 교육 과정)

  • Hur, Kyeong
    • Journal of Practical Engineering Education
    • /
    • v.9 no.1
    • /
    • pp.41-48
    • /
    • 2017
  • In this paper, we proposed a method for digital logic circuit control, through arduino device programming with digital outputs, to design a curriculum for basic digital logic circuit practices. Curricula for arduino device programming and digital logic circuit are essentially practiced in engineering departments of colleges or high schools in South Korea. However, actual practice course lacks the experimental examples of digital logic circuit combined with arduino device programming. Furthermore, actual practice course lacks the curriculum in that students design and test their own digital logic circuits with the less cost than the oscilloscope. Therefore, to solve these problems in this paper, we proposed a curriculum for basic digital logic circuit practices during one semester. In this curriculum, students control and experiment their own digital logic circuits through arduino device programming with digital outputs.

The Effect of Kodu Programming Learning on Logical Thinking and Learning Interest of Elementary Students (Kodu를 이용한 프로그래밍 학습이 초등학생의 논리적 사고력과 학습 흥미에 미치는 영향)

  • Kim, Tae-Hun;Kim, Jong-Hoon
    • The Journal of Korean Association of Computer Education
    • /
    • v.16 no.3
    • /
    • pp.13-22
    • /
    • 2013
  • Digital technology brought about many changes which has changed the life of modern people. Adolescents need programming learning to increase a competitiveness what will lead the future. Recently though an interest about programming learning has raised, there are many trouble to take programming learning. In this paper, we planed and implemented a program that elementary students can learn programming using Kodu easily and excitingly. According to comparison of pre-to-post tests about logical thinking using GALT, correlational reasoning and total of experimental group were growing significantly. Also, elementary students had positive cognition in learning interest about programming.

  • PDF

The Effect of Programming Lessons on Children's Logical Thinking Improvement (프로그래밍 교육이 아동의 논리적 사고력 향상에 미치는 효과)

  • Ko, You-Jung;Lee, Soo-Jung
    • 한국정보교육학회:학술대회논문집
    • /
    • 2007.08a
    • /
    • pp.195-200
    • /
    • 2007
  • 본 연구는 컴퓨터 교육의 기본방향에 부합하지 못하는 학교 현장에 문제의식을 갖고, 초등학교 4학년을 대상으로 문제 분석 능력과 논리적 사고력에 긍정적인 역할을 할 수 있는 플래시 프로그래밍 교육을 실시하였다. 플래시 프로그래밍 교육을 통한 아동의 논리적 사고력과의 상관관계를 연구함으로써, 지식정보사회에서 반드시 필요한 프로그래밍 교육이 각급 학교에 적합한 수준별 모형으로 정착될 수 있는 방향을 모색 해보고자 하였다.

  • PDF