首页 | 本学科首页   官方微博 | 高级检索  
     

关于推出符号“=>”的一点教学尝试
作者姓名:黄家礼
作者单位:监利张场中学
摘    要:在命题证明中,使用逻辑推演符号“=>”,可缩简证明过程,充分显示出证明过程的逻辑结构,使证明条理清晰,层次分明,比传统的书写格式更具有科学性,但是,由于课本没有讲这方面的预备知识,引入突然。学生难以掌握。所以有些教师放弃不用,授课作业,一律采用传统格式,这就给师生的教与学和学生今后的学习带来许多不便。下面谈谈自己在这方面的教学尝试,因为自己也有过放弃不用,采用传统格式的念头,但从我所带的A班的同学在作业中所出现的问题分析,错误的原因,主要是对符号

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号