[论文解读] Teaching Logic to Information Systems Students: Challenges and Opportunities

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

Information Systems Education and Curriculum Development参考文献 15被引用 8

一句话总结

本文提出通过聚焦于与软件相关的形式化方法（如命题逻辑、一阶逻辑和Z记号）来调整信息系统（IS）学生的逻辑教育，采用简化且贴近实际的案例。该方法显著提升了学生的分析思维与规格说明能力，尽管学生数学背景有限，但仍获得了来自研究生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名学生中仅有1人认为该课程对其专业实践无用，表明尽管课程具有抽象性，整体接受度仍非常高。
• 学生普遍认为该课程对研究与基础学习具有益处，多人指出其在系统性思维与建模方面的价值。
• 初步证据表明，简化逻辑内容并使用贴近实际的案例可增强学生参与度与对课程相关性的感知，即使对非传统学习者亦然。