• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1994년도 제6회 한글 및 한국어정보처리 학술대회
• /
• pp.499-504
• /
• 1994

기존의 문서 시스템은 문서의 논리적인 정보와 문서의 외양에 관련된 처리정보들이 확연히 구분되지 않음으로써 서로 다른 시스템간의 문서 교환시 정보의 손실을 가져올 뿐 아니라, 문서의 저장방식에서도 순차 화일 구조를 갖기 때문에 문서의 논리적 요소에 대한 대화식 검색이 불가능하다. 이러한 단점을 극복하고자 문서의 논리적 구조 및 내용을 중심으로 작성 가능한 표준 메타 언어인 SGML이 제정되었으며, 본 연구에서는 SGML 문서를 인식하고 해석하기 위한 SGML파서와 문서의 논리적 구조를 반영하는 저장구조 및 이를 이용한 브라우저를 구현하였다.

• 영재교육연구
• /
• 제21권3호
• /
• pp.761-772
• /
• 2011

최근 IT 산업이 국가경제에서 차지하는 비중이 높아지고 또한 지식정보사회에서 정보의 소양 및 활용이 필수적이 되어감에 따라 정보영재교육에 대한 중요성이 날로 커지고 있다. 현재 정보영재교육은 대학부설 영재교육원을 비롯하여 시도교육청 산하 영재교육원, 사설 영재교육원 등 다양한 기관에서 실시되고 있다. 정보영재교육의 내용 영역에 있어서 프로그래밍 능력과 더불어 논리적 사고능력은 매우 중요한 부분을 차지하고 있으며 또한, 프로그래밍 능력과 논리적 사고능력의 향상은 정보영재교육의 주요 목표이다. 본 연구의 목적은 정보영재아동에 있어서 프로그래밍 능력과 논리적 사고능력의 상관관계를 분석하는 것이다. 본 연구에서는 서울시내 대학부설 영재교육원 정보영재아동을 대상으로 6년 동안의 재학생들을 대상으로 이들의 평가결과를 조사하고 분석한 결과, 프로그래밍 능력과 논리적 사고능력은 상관관계가 높음을 보여주었다.

• 한국통신학회논문지
• /
• 제28권6A호
• /
• pp.361-370
• /
• 2003

본 논문에서는 PNNI(Private Network to Network Interface) 기반의 무선 ATM 망에서 단말의 이동성을 보장하기 위해 기존의 위치 등록기 구조를 개선하고자 한다. 기존의 위치 등록기 구조는 위치 등록기를 물리적 계층으로 배치함으로 인해 다수의 데이터베이스가 요구되고, 데이터베이스 액세스 회수와 신호 트래픽 및 호 설정 지연 등이 증가하는 문제점을 갖고 있었다. 이 문제점을 보완하기 위해 본 논문에서는 논리적 계층 형태로 이루어진 위치 등록기 구조를 제시하고자 한다. 제안된 논리적 계층 구조에서는 위치 등록기를 논리적인 그룹으로 묶고, 이 그룹들을 다시 그룹으로 묶어서 위치 등록기의 논리적인 트리 형태로 만들어 상위 레벨의 위치 등록기의 역할을 하위 레벨의 위치 등록기 중 하나가 수행하도록 하고 있다. 기존의 위치 등록기 구조와 성능을 비교한 결과에서 제안된 논리적 계층 구조는 데이터베이스 수와 위치 관리비용 측면에서 우수한 성능을 보여주고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.515-517
• /
• 2003

BAN 논리와 같은 논리를 사용한 암호학적 프로토콜의 형식적 검증 방식은 프로토콜들의 다양한 결점들을 분석할 수 있다. 그러나 BAN 논리와 BAN의 확장된 논리들은 명시적 가정과 목적을 통해 프로토콜의 목적 성취 유무만을 추론할 수 있다. 본 논문에서는 기존의 논리들을 비교 분석하여 메시지 의미를 추론하는 규칙에 대한 정확한 해석에 대해 살펴본다. 그리고 암호학적 프로토콜의 보안 요구사항 중 하나인 메시지 무결성(message integrity)을 논리(logic) 범위에서 추론할 수 있는 방법을 제안한다.

• 한국게임학회 논문지
• /
• 제9권1호
• /
• pp.3-10
• /
• 2009

본 논문은 중학교 2학년 학생들을 대상으로 한국형 LOGO 프로그래밍을 사용하여 논리적 사고와 이의 하위논리에 대해 어떠한 영향을 미치는지 분석하였다. 그 결과, LOGO 프로그래밍 학습은 학습자의 논리적 사고와 이의 하위논리 신장에 매우 효과적임을 알 수 있다.

• 논리연구
• /
• 제20권3호
• /
• pp.313-333
• /
• 2017

이 글에서 우리는 누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 일곱 개의 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 네 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 논리연구
• /
• 제18권2호
• /
• pp.197-215
• /
• 2015

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 한국산업정보학회논문지
• /
• 제14권4호
• /
• pp.198-204
• /
• 2009

수학적 사고의 입장에서 중등학생들이 수학적 문제해결에 논리적 사고와 직관적 사고가 어떻게 작용하는지를 연구하는 것은 수학교육에서 중요하고도 흥미로운 과제의 하나이다. 본 연구의 주된 목적은 중등학교 영재학생을 대상으로 이러한 문제를 조사하는 것이다. 특히 이들 중등영재학생들의 논리적 사고와 직관적 사고에 대한 선호도와 논리형 문제의 문제해결능력 사이의 관계를 로지스틱 회귀분석을 이용하여 조사한다.

• 한국인터넷방송통신학회논문지
• /
• 제16권6호
• /
• pp.305-310
• /
• 2016

오늘날 데이터를 표현하고 교환하는 표준 언어로 XML을 사용하고 있다. XML의 개념적 모델을 정의하기 위해서는 XML이 가지는 다양한 요소들을 다이어그램으로 표현하는 표현 규칙과 생성된 다이어그램을 논리적 모델인 XML로 변환하는 변환 알고리즘을 정의해야 한다. 본 논문은 XML의 개념적 모델로부터 논리적 모델을 생성하기 위한 변환 기법을 제안한다. 본 논문에서 사용하는 개념적 모델로는 CMXML을 이용하고, 논리적 모델로 XML 스키마를 생성한다. 이를 위해 다이어그램으로 표현되는 CMXML을 정의하고, 이 다이어그램으로부터 XML 스키마를 생성하기 위한 자료구조를 정의하고 생성규칙을 정의하고, 변환 알고리즘을 제시한다.

• 정보교육학회논문지
• /
• 제25권4호
• /
• pp.603-610
• /
• 2021

최근 SW교육 방법의 일환으로 초등학교 모든 실과교과서에서 엔트리 사이트를 활용하고 있다. 하지만 모두 블록형 프로그래밍 언어를 학습하고 있어 일상생활에서 활용할 수 있는 프로그램을 제작하는데 어려움이 있다. 본 연구는 엔트리 파이썬으로 프로그래밍을 학습하는 것이 초등학생의 논리적 사고력과 프로그래밍 흥미도에 미치는 영향에 관한 연구이다. 총 8차시의 수업 전과 후 논리적 사고력 검사와 프로그래밍 흥미도 검사를 진행하였다. 수업 전, 후 논리적 사고력 점수가 평균 6.6점에서 9.4점으로 상승하였으며 프로그래밍 흥미도 또한 평균 46.7점에서 59.1점으로 상승하였다. 이를 통해 엔트리 파이썬을 활용한 프로그래밍 학습이 초등학생의 논리적 사고력 및 프로그래밍 흥미도 증진에 유의미하다는 결과를 얻었다.