[논문 리뷰] Teaching Logic to Information Systems Students: Challenges and Opportunities

Anna Zamansky, Eitan Farchi|arXiv (Cornell University)|2015. 07. 14.

Information Systems Education and Curriculum Development참고 문헌 15인용 수 8

한 줄 요약

이 논문은 정보시스템(IS) 학생들을 대상으로 논리 교육을 실용적이고 소프트웨어 관련 형식적 방법—예를 들어 명제 논리와 일阶논리, Z 표기법—에 맞추어 적응시키는 것을 제안한다. 간단하고 이해하기 쉬운 예시를 사용함으로써 학생들의 분석적 사고 능력과 사양 능력이 크게 향상되었으며, 수학적 배경이 제한된 대학원 IS 학생들 사이에서도 강력한 긍정적 피드백을 받았다.

ABSTRACT

In contrast to Computer Science, where the fundamental role of Logic is widely recognized, it plays a practically non-existent role in Information Systems curricula. In this paper we argue that instead of Logic's exclusion from the IS curriculum, a significant adaptation of the contents, as well as teaching methodologies, is required for an alignment with the needs of IS practitioners. We present our vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa. We discuss the course plan and present some data on the students' feedback on the course.

연구 동기 및 목표

• 소프트웨어 검증 및 사양 수립을 위한 형식적 방법에서 핵심적인 역할을 하되, IS 커리큘럼에서 논리가 생략되고 있는 문제를 해결하기 위해.
• 실제 IS 전문가의 요구에 맞는 'IS 논리 도구상자'를 특정하고 정의하기 위해, 사양 수립, 검증, 검증에 중점을 두고.
• 추상적인 논리와 실제 IS 응용 간 격차를 메우는 대학원 수준의 '논리와 형식적 사양' 과정을 설계하고 구현하기 위해.
• 비전통적, 경력 재입학자인 대학원생들을 중심으로, 형식적 논리와 사양 도구가 IS 실무에서 얼마나 관련성이 있다고 느끼는지 평가하기 위해.
• 수학적 복잡성을 줄이고 핵심 역량을 유지하면서도, 소프트웨어 관련 예시와 도구 지원을 통해 논리를 간단화하는 수업 전략을 탐색하기 위해.

제안 방법

• 명제 논리와 일阶논리에 중점을 두고, Z 표기법을 사용한 형식적 사양을 중심으로 한 대학원 과정을 설계함.
• 수학적 배경이 제한된 학생들의 인지 부담을 줄이기 위해, 추상적인 논리 개념을 설명하기 위해 단순화되고 소프트웨어 관련 예시를 사용함.
• 복잡한 수학적 세부 사항을 배제하면서도 논리적 엄밀성과 실용적 적용 가능성을 유지하는 수업 전략을 적용함.
• 학생 피드백 수단으로 설문지를 활용하여, 도구의 유용성, 분석 능력 향상, IS 실무와의 관련성 등을 평가함.
• 교육적 맥락에서 이해 가능성과 사용 용이성을 높이기 위해, Z 사양의 '간단함'을 측정하는 도구를 개발함.
• 컴퓨터 과학 교육 개혁의 통찰을 바탕으로, 직관적 사고에서 분석적 사고로의 전환과 같은 성공적인 전략을 IS 전용 맥락에 적응시킴.

실험 결과

연구 질문

• RQ1 어떻게 하면 고급 수학에 의존하지 않고도 정보시스템 학생들의 실무적 요구에 맞게 논리 교육을 적응시킬 수 있는가?
• RQ2 실제 IS 응용에서 사양 수립, 검증, 검증을 지원하는 데 효과적인 'IS 논리 도구상자'의 핵심 구성 요소는 무엇인가?
• RQ3 특히 경력 이력이 있는 후속 학습자인 IS 학생들이 형식적 논리와 사양 도구를 자신의 전문 실무와 관련성이 있다고 얼마나 느끼는가?
• RQ4 간소화된 소프트웨어 중심 예시와 수학적 복잡성 감소는 논리 수업에서 학생들의 참여도와 학습 성과에 어떤 영향을 미치는가?
• RQ5 수학적 훈련이 제한된 IS 학생들을 위해 Z 표기법과 같은 형식적 사양의 이해 가능성은 어떤 전략으로 향상시킬 수 있는가?

주요 결과

• 이론적 논리 교육 경험이나 수학적 배경이 부족한 상태에서도, 23명의 대학원 IS 학생 중 22명이 수업이 분석적 사고 능력을 향상시켰다고 보고했다.
• 대다수의 학생들이 형식적 사양 구성 요소—특히 Z 표기법—이 자신의 IS 실무와 직접적으로 관련 있다고 느꼈다. 한 학생은 산업 현장에서 새로운 형식적 표기법을 배우는 데 걸리는 학습 곡선을 줄일 수 있을 것이라고 언급했다.
• 상당수의 학생들이 일상 업무에서 수업 내용을 직접 적용했다. 예를 들어, 불가능한 시스템 동작을 제거하기 위해 진리표를 사용한 사례가 있었다.
• 23명의 학생 중 유일하게 수업이 자신의 전문 실무에 유용하지 않다고 느낀 학생이 한 명뿐이었으며, 이는 수업의 추상성에도 불구하고 전반적인 수용도가 매우 높음을 시사한다.
• 학생들은 수업이 연구 및 기초 학습에 유익하다고 평가했으며, 몇몇 학생들은 체계적인 사고와 모델링 능력 향상에 기여한다고 언급했다.
• 초기 증거에 따르면, 논리적 내용을 단순화하고 관련 있는 예시를 사용함으로써 학생들의 참여도와 관련성 인식이 향상되었으며, 이는 비전통적 학습자들 사이에서도 마찬가지로 나타났다.