[논문 리뷰] Applied Logic in Engineering

Maria Spichkova|arXiv (Cornell University)|2016. 02. 09.

Experimental Learning in Engineering참고 문헌 15인용 수 4

한 줄 요약

이 논문은 공학 교육에서 형식적 논리학을 가르치는 교육적 접근법을 제시한다. 실생활 사례와 엔터테인먼트 기반 학습(예: 셸록 홈즈의 추론 분석)을 통해 이론적 추상성보다 실용적 응용을 강조함으로써 학생들의 참여도와 이해도를 햖थ. 뮌헨 공과대학에서 시행된 이 수업은 높은 만족도와 개방형 시험에서의 명백한 이해도를 통해 성공적으로 학생들의 참여를 높였다.

ABSTRACT

Logic not only helps to solve complicated and safety-critical problems, but also disciplines the mind and helps to develop abstract thinking, which is very important for any area of Engineering. In this technical report, we present an overview of common challenges in teaching of formal methods and discuss our experiences from the course Applied Logic in Engineering. This course was taught at TU Munich, Germany, in Winter Semester 2012/2013.

연구 동기 및 목표

• 형식적 논리학에 대한 학생들의 일반적인 싫어함을 해소하기 위해, 이론적 추상성보다 실용적 응용을 강조함으로써 건조하고 복잡하다는 인식을 완화하고자 한다.
• 공학 학생들의 수학적 불안을 줄이기 위해 산업 및 소설에서 유래한 유사한 사례를 통합함으로써 관련성 있는 실용적 예제를 제공하고자 한다.
• 실습 중심의 사례 기반 교육을 통해 형식적 방법론이 접근 가능하고 실용적으로 유용할 수 있음을 입증하고자 한다.
• 공학 교육 환경에서 추상성보다 응용을 중심으로 한 논리 수업의 효과성을 평가하고자 한다.

제안 방법

• 공학 학부생을 대상으로 한 TU 뮌헨의 대면 수업인 '공학을 위한 응용 논리학'(ACE)은 이론적 배경이 없는 학생들을 대상으로 하였다.
• 산업 문제, 퍼즐, 소설적 서사(특히 셸록 홈즈의 추론 방식)를 활용하여 명제 논리와 일阶 논리의 핵심 개념을 설명하였다.
• 표준 프레임워크를 기반으로 문법, 의미론, 정규형, 계산 체계(자연 도출, 해소)를 다루었으며, Prolog 및 자동화된 추론 도구에 중점을 두었다.
• 커리큘럼에는 공식적 명세, 검증, 정리 증명, 모델 체킹, 회로 설계 및 데이터베이스 분야의 응용이 포함되었다.
• 기억력 테스트가 아닌 적용 능력을 평가하기 위해 개방형 시험을 실시하였다.
• Schöning, Russell & Norvig, Harrison의 기초 서적을 기반으로 하였으며, 형식적 방법론에서 인간 요소에 관한 이전 연구의 피드백도 통합하였다.

실험 결과

연구 질문

• RQ1 어떻게 하면 공학 교육에서 학생들의 논리학에 대한 불안을 줄이고 참여도를 높일 수 있는가?
• RQ2 소설적 서사와 실생활 응용은 형식적 논리학의 이해도와 실제 적용 가능성에 얼마나 기여하는가?
• RQ3 추상성보다 응용을 중심으로 한 논리 수업이 공학 학생들의 학습 성과를 향상시킬 수 있는가?
• RQ4 실제 사례와 도구 지원은 비수학적 공학 학생들에게 형식적 방법론을 어떻게 접근 가능하게 하는가?

주요 결과

• 다수의 학생들이 수업 예제가 매우 유용하다고 평가하였으며, 과목의 내용량이 적절히 균형 잡혀 있다고 응답했으며, 평가에서 100%의 학생이 내용이 '정확히 적절하다'고 평가했다.
• 학생들은 셸록 홈즈의 사례와 실생활 응용의 통합을 가장 높이 평가하였으며, 이는 논리학이 관련 있고 흥미로워 보이게 했다.
• 소규모 수업과 체계적이고 점진적인 학습 진행 방식이 학생들의 깊은 이해에 기여하였다는 점에서 높은 만족도를 달성했다.
• 개방형 시험 형식은 학생들이 논리 원칙을 암기하는 것이 아니라 적용하는 능력을 평가하는 데 성공적으로 기여하여, 수업의 실용적 목표를 뒷받침했다.
• 형식적 논리학은 관련성 있고 응용 중심의 맥락에 기반하면, 수학적 또는 논리학적 배경이 없는 공학 학생들에게도 효과적으로 교육될 수 있음을 입증했다.