高师数学专业数理逻辑教学的一些思考

Some thoughts on mathematical logic teaching of mathematics specialty in normal universities

抽象、枯燥、形式化程度高、学时紧等问题给数理逻辑教学带来了不利,专业性与师范性的矛盾也给教学增加了困扰.分析了高师数学专业数理逻辑课教学面临的缺乏适合师范专业的教材,抽象、枯燥、形式化程度高、学时紧张,课程的重要性没有得到足够的体现等问题.提出了相应的建议,使数理逻辑教学更加具有针对性、实用性和师范性.

Abstract,insipid,school tight,highly formalized discipline and so on questions have brought disadvantageously for the mathematical logic teaching,the contradiction between specialization and pedagogical also increased the puzzle to the teaching.Teaching materials of the subject that are specially designed for normal majors are not yet available.Teaching of the subject has been taken as an abstract,insipid and highly formalized task.What＇s more,there is an insufficiency of teaching hours as well.Last but not the least,not enough attention has been given to the course as a whole.Analyzed the above mentioned problems and proposeed some suggestions accordingly,so as to target the teaching,make it more practical and more suitable for normal majors.