计算机教育
計算機教育
계산궤교육
IT EDUCATION
2015年
15期
31-35
,共5页
常亮%徐周波%孟瑜%古天龙
常亮%徐週波%孟瑜%古天龍
상량%서주파%맹유%고천룡
计算思维%数理逻辑%抽象%形式化%自动化
計算思維%數理邏輯%抽象%形式化%自動化
계산사유%수리라집%추상%형식화%자동화
针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将“对问题进行抽象建模—形式化—自动化—分析评估”这一思维模式贯穿于教学过程中,以及如何在教学中强调计算思维的基本概念和基本方法.
針對離散數學課程中的數理邏輯教學,分析計算思維與數理邏輯之間的內在關繫,從計算思維的角度對數理邏輯教學內容進行梳理,論述如何將“對問題進行抽象建模—形式化—自動化—分析評估”這一思維模式貫穿于教學過程中,以及如何在教學中彊調計算思維的基本概唸和基本方法.
침대리산수학과정중적수리라집교학,분석계산사유여수리라집지간적내재관계,종계산사유적각도대수리라집교학내용진행소리,논술여하장“대문제진행추상건모—형식화—자동화—분석평고”저일사유모식관천우교학과정중,이급여하재교학중강조계산사유적기본개념화기본방법.