大学教育
大學教育
대학교육
University Education
2012年
2期
73-74
,共2页
形式化方法%课程教学%行为时序逻辑%系统描述
形式化方法%課程教學%行為時序邏輯%繫統描述
형식화방법%과정교학%행위시서라집%계통묘술
高校计算机专业开设形式化方法课程十分必要.必须设计课程目标和教学方法,并提出考核和评价学生学习效果的标准,通过严格的数学方法让学生获取对其他课程也很有益的知识、技术和能力.
高校計算機專業開設形式化方法課程十分必要.必鬚設計課程目標和教學方法,併提齣攷覈和評價學生學習效果的標準,通過嚴格的數學方法讓學生穫取對其他課程也很有益的知識、技術和能力.
고교계산궤전업개설형식화방법과정십분필요.필수설계과정목표화교학방법,병제출고핵화평개학생학습효과적표준,통과엄격적수학방법양학생획취대기타과정야흔유익적지식、기술화능력.
