搜索筛选:
搜索耗时2.7637秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：薛慧琦,,
来源： 年份：2006
当前社会,人们对教育的要求不再是以获取知识为重点,开始转向追求个体的自由。人们要求教育提供个体发展的广阔空间,高效率的认知新事物、获取新知识的方法,科学的思维方式。...
[期刊论文] 作者：薛慧琦,,
来源：大连教育学院学报 年份：2010
...
[学位论文] 作者：薛慧琦,
来源：江西师范大学 年份：2005
目前许多程序设计教科书和教学软件均不能给出从需求解的问题到可执行程序的设计过程。这给讲授和学习程序设计均带来极大的困难。薛锦云教授率领软件形式化和自动化课题组在...
[会议论文] 作者：薛慧琦,吴恒,
来源：2005年全国理论计算机科学学术年会 年份：2005
本文利用PAR方法形式化推导了三个在程序设计教科书中常常出现的典型算法程序,进而说明了PAR方法在算法程序形式化推导中的作用,探索了在程序设计中推广应用PAR方法及其开发...
相关搜索：
