计算机时代
計算機時代
계산궤시대
COMPUTER ERA
2007年
11期
73-74
,共2页
不变式断言法%程序正确性证明%最大公约数问题%自然数的平方根问题
不變式斷言法%程序正確性證明%最大公約數問題%自然數的平方根問題
불변식단언법%정서정학성증명%최대공약수문제%자연수적평방근문제
《程序设计》是计算机专业学生的必修课程,教师非常重视对学生程序设计能力的培养.然而现有的程序设计教材未阐明程序和给定问题之间的关系,导致学生无法理解程序设计的本质.文章提出采用Floyd不变式断言法分析程序,并通过两个实例进行说明.教学实践证明,采用这种方法有助于学生理解程序.
《程序設計》是計算機專業學生的必脩課程,教師非常重視對學生程序設計能力的培養.然而現有的程序設計教材未闡明程序和給定問題之間的關繫,導緻學生無法理解程序設計的本質.文章提齣採用Floyd不變式斷言法分析程序,併通過兩箇實例進行說明.教學實踐證明,採用這種方法有助于學生理解程序.
《정서설계》시계산궤전업학생적필수과정,교사비상중시대학생정서설계능력적배양.연이현유적정서설계교재미천명정서화급정문제지간적관계,도치학생무법리해정서설계적본질.문장제출채용Floyd불변식단언법분석정서,병통과량개실례진행설명.교학실천증명,채용저충방법유조우학생리해정서.
