今年是我主讲儒尔 - 凡尔纳大学（ Université de Picardie Jules Verne ）计算机系一年级的 “ 逻辑课 ” 的第三年，总结和分享这三年里进行的逻辑课程的“改革”尝试。

一，“改革”的内容

1，形式与内容

传统的逻辑教学通常将形式与内容分开，而将重点放在形式上。考虑到“形式与内容”是一种互补的关系，形成一个统一的整体，我强调自然语言和形式语言之间的密切关系，以便对连接词、量词和推理等概念有一个直观和解释性的理解。我让学生在用形式语言表达推理之前先练习用自然语言表达。

2，有效推理与谬误推理

通过增加“谬误推理”部分，我设计了一个课题作业，让学生练习识别简单的谬误推理，并初步了解“悖论”，目的是让逻辑回归其作为判断推理有效性的工具的初衷。

二，2020/2021学年期末考试题目与课题作业

• 期末考试试卷（2020-2021 逻辑课）

• 课题作业：识别谬误（2020-2021 逻辑课）