浅谈数理逻辑教学

Talk about Mathematical Logic Instruction

数理逻辑已被越来越多的高校作为必修课和选修课。作为研究不确定性推理和非经典逻辑方向的必修课,搞好数理逻辑教学尤为重要,本文是在听取王国俊教授的讲课后结合同学的学习体会分别从选教材,阐明学习意义,课堂教学等环节论述了这门课程的教学。

Mathematical logic has been taken as compulsory course and selected course by more and more universities.As compulsory course of reaserding uncertain reasoning and nonclassical logic,it is very important to do well in instruction of mathematic logic.After listening to the lecture of professor WANG Guo-jun,and with the studing experience of students,this paper discuses the instruction of this course from several aspects such as choosing teaching materials,clarifying meaning of study,teaching in classroom.