《数理逻辑和集合论》讲课用例的设计和构造

The Design and Construction of Lecture Instances for Mathematical Logic and Set Theory

《数理逻辑与集合论》是数学、信息、哲学和计算机科学等专业的重要基础,但其高度的抽象性特点往往使得学生望而生畏.课程教学中不能只强调抽象的、难以理解的符号系统,而必须立足于使学生拥有很好的直觉认识能力.在教学过程中有意识地选择数学和信息科学中学生们熟悉的典型实例,精心设计和构造以帮助学生理解相应的抽象概念,在温故知新的基础上,大大拓展了学生视野,对理解抽象概念起到事半功倍的成效.

The course ＂Mathematical logic and set theory＂ is an important foundation of Mathematics, Information science, Philosophy, and Computer science, etc. But its high abstractness is main obstacle to learn this course for students. Teaching method should be based on training studentsr keen intuition ability rather than only focuses on abstract and incomprehensible symbol systems. In the teaching practice, we consciously choose some classical instances for students from Mathematics and Information science which are familiar to them, then carefully design and construct lecture instances to help students understand relevant concepts. The practice shows that our instances can largely broaden students＇ horizon and are very helpful for them to understand the abstract concepts based upon the famous Chinese education idea of ＂reviewing makes learning new＂.