合肥师范学院学报
閤肥師範學院學報
합비사범학원학보
JOURNAL OF ANHUI INSTITUTE OF EDUCATION
2013年
3期
78-80
,共3页
离散数学%命题%集合%课程教学
離散數學%命題%集閤%課程教學
리산수학%명제%집합%과정교학
通过引入参与式与主动式教学模式,让学生积极地参与到离散数学的课程教学中去.借助自动求解命题公式的真值表系统,帮助学生避开繁琐的计算过程,快速发现命题公式所具有的特性.引导学生从不同角度发现存在永真蕴含关系的命题公式之间的特性,总结出命题公式永真蕴含的多种证明方法.引导学生发现集合公式与命题公式的共性,并得出集合公式的主范式表示方式与一般求解方法.
通過引入參與式與主動式教學模式,讓學生積極地參與到離散數學的課程教學中去.藉助自動求解命題公式的真值錶繫統,幫助學生避開繁瑣的計算過程,快速髮現命題公式所具有的特性.引導學生從不同角度髮現存在永真蘊含關繫的命題公式之間的特性,總結齣命題公式永真蘊含的多種證明方法.引導學生髮現集閤公式與命題公式的共性,併得齣集閤公式的主範式錶示方式與一般求解方法.
통과인입삼여식여주동식교학모식,양학생적겁지삼여도리산수학적과정교학중거.차조자동구해명제공식적진치표계통,방조학생피개번쇄적계산과정,쾌속발현명제공식소구유적특성.인도학생종불동각도발현존재영진온함관계적명제공식지간적특성,총결출명제공식영진온함적다충증명방법.인도학생발현집합공식여명제공식적공성,병득출집합공식적주범식표시방식여일반구해방법.