• Journal of The Korean Association For Science Education
• /
• v.34 no.7
• /
• pp.647-655
• /
• 2014

The purpose of this study is to acquire teaching insights for improving scientific literacy by analyzing the effects of scientific communication skills, science process skills, and logical thinking skills of elementary school students on academic achievement level. The participants are 64, sixth grade elementary school students. Survey materials include the results of Scientific Communication Skill Test (SCST), Test of Science Process Skills (TSPS), Group Assessment of Logical Thinking (GALT), multiple choice test & short answer test, descriptive answer test on science, and academic achievement level test on all subjects. Based on these data, the study analyzed the relationships of science process skills, logical thinking skills, and scientific communication skills, and each category's effect on academic achievement level. Furthermore, under the assumption that scientific communication skills are affected by science process skills and logical thinking skills and directly influence the academic level, the research discovered three types of correlations as a structural model. The results show that there are considerable correlations in scientific communication skills, science process skills, and logical thinking skills. Also, these three abilities have meaningful correlations with learner's writing and descriptive question level on science curriculum and overall academic achievement level; the level of correlation differ a bit by subcategory factors. In conclusion, setting the model, science process skills and logical thinking skills influence scientific communication skill, and the skill directly influences the learner's academic level. Further analysis of the results show that scientific communication skill influences the academic achievement level of all subjects the most.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.397-400
• /
• 2004

이전 논문은 자바 프로그램 내에 포함된 논리적인 오류를 발견하기 위해 HDTS 기술을 제안하였다. HDTS 는 알고리즈믹 프로그램 디버깅 기술, 단계적 프로그램 디버깅 기술, 그리고 프로그램 분할을 혼합하여 효율적으로 논리적인 오류가 포함된 프로그램을 디버깅하는 기술이다. 본 논문에서는 HDTS 기술을 구현하기 위한 HDTS 시스템을 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.313-315
• /
• 2011

인터넷의 급속한 발달로 빈번히 발생하고 있는 해킹 및 악성프로그램과 같은 사이버 공격으로부터 중요 정보를 보호하기 위한 망분리 기술이 요구되고 있다. 망분리에는 외부와 내부망을 물리적으로 분리하는 물리적 망분리와 가상화 기술을 이용하여 분리하는 논리적 망분리가 있다. 물리적 망분리는 망구축 및 유지비용이 높으며, 논리적 망분리는 보안 신뢰성이 낮다. 제안하는 LNP는 사이버 공격을 대응할 수 있는 논리적 망분리 방안으로 트래픽 유형을 탐지하여 망을 분리하고, 위협 요소 제거 시 망분리를 해제한다. 논리적으로 망을 분리하는 LNP는 트래픽 경로를 차단하여 중요 정보를 안전하게 보호할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.401-410
• /
• 2009

In order to derive hidden information (concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. The most of these ontology reasoners were implemented using the tableau algorithm. However most reasoners simply report this information without providing a justification for any arbitrary entailment and unsatisfiable concept derived from OWL ontologies. The purpose of this paper is to investigate an optimized method for non-deterministic rule of the tableau algorithm and finding axioms to cause inconsistency in ontology. In this paper, therefore, we propose an optimized method for non-deterministic rule and finding axiom to cause inconsistency using NATMS. In the first place, we introduce Dependency Directed Backtracking to deal non-deterministic rule, a tableau-based decision procedure to find unsatisfiable axiom Furthermore we propose an improved method adapting NATMS.

• Journal of The Korean Association of Information Education
• /
• v.15 no.1
• /
• pp.119-127
• /
• 2011

We selected algorithm learning subjects and developed the play-based algorithm learning program for elementary school students. In addition, we analyzed a positive effect of improve on logical thinking by the field application. We found that the developed learning program was helpful in growing logical thinking skills. It means that the play-based algorithm learning program helps learners to improve on logical thinking.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.282-285
• /
• 2011

서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.

• Journal of the Korean Society of Earth Science Education
• /
• v.10 no.1
• /
• pp.17-25
• /
• 2017

The purpose of this study is to investigate the impact of logical thinking when applying STEAM program for middle school students. Therefore, you're creative, framework governing the conditions and be present, creative design of the emotional experience of class under the procedures of the program from a program by previous studies. STEAM improve program is entirely logical thinking to determine that 47 2nd grade in middle school student radio sampling four weeks, six round of poetry classes. Awareness stage after the program STEAM improved but there was little change in logical thinking and appears to be effective, particularly in conservation, combined logic.(p<0.05)

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.41-65
• /
• 2004

이 글은 박병철과 이승종의 저술에 대한 박정일의 서평을 중심으로 비트겐슈타인 철학의 몇몇 문제점을 고찰하면서 다음과 같은 것을 주장한다. 첫째 비트겐슈타인 철학의 현상학적 양상을 추적하고 있는 박병철의 현상학의 개념이 명백하지 않다. 둘째 "논리철학논고"의 유아론은 경험적 유아론이 아니라 선험적 유아론이다. 셋째 "논리철학논고"의 대상은 감각자료가 아니다. 넷째 우리에게 주어진 소여는 논리적인 것이다. 다섯째 박병철은 이 논리적인 것을 경험에 근거지우는 실책을 범하고 있다. 여섯째 모순의 형식적 개념에 대한 이승종의 비판은 성공적이지 않다. 일곱째 이것은 박정일이 지적한 것처럼 허수아비 공격의 오류를 범했기 때문인 것처럼 보인다. 여덟째 모순된 규칙에 대한 이승종의 이해는 박정일이 지적하듯이 잘못되었다.

• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.148-153
• /
• 2008

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

• 한국정보교육학회:학술대회논문집
• /
• 2007.08a
• /
• pp.195-200
• /
• 2007

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