论文部分内容阅读
高校计算机专业开设形式化方法课程十分必要。必须设计课程目标和教学方法,并提出考核和评价学生学习效果的标准,通过严格的数学方法让学生获取对其他课程也很有益的知识、技术和能力。
高校计算机专业形式化方法课程教学研究
【摘 要】
：
高校计算机专业开设形式化方法课程十分必要。必须设计课程目标和教学方法,并提出考核和评价学生学习效果的标准,通过严格的数学方法让学生获取对其他课程也很有益的知识、技
【机 构】
：
贵州财经大学信息学院
【出 处】
：
大学教育
【发表日期】
：
2012年2期
其他文献
采用密度泛函理论方法,对一系列19电子铁族配位化合物CpM（CO）2L·进行了结构优化和能量计算.计算结果表明：配体L为羰基时,同族三金属Fe,Ru和Os配合物中都会出现一个弯曲的M
本文以缓刑制度的一般刑法价值分析为视角,结合刑罚制度在现代世界范围内刑罚轻缓化、刑罚执行非监禁化的变革趋势,针对我国《刑法修正案八》对缓刑制度的最新变革和发展,从
本文根据沿海中心城市产业发展的规律,借鉴国内外中心城市产业结构的经验,在分析厦门产业发展现状及存在的问题的基础上,提出厦门产业转型路径的选择.
数字媒体艺术专业是一门新兴应用型学科。本三院校数字媒体艺术专业的学生具有鲜明的专业特点和个性特征。针对新形势，创新工作方法，从各个方面促进和引导学生的科学发展，是我们
随着高级辅助驾驶系统和自动驾驶技术的逐步发展,对系统测试技术的要求也进一步提高。分析和对比了不同权威机构的自动驾驶分级方法,调研了目前的测试技术,依据车辆开发中的"
本文从法律角度，对图书馆和读者就图书馆藏书的所有权、用益权两个方面，论述了这两种权力对图书馆藏书价值实现的作用。并重点探讨了读者对图书馆藏书用益权的特征和其对图书馆
今年以来，欧债危机从希腊向西班牙等大国蔓延，发达经济体增长乏力，新兴经济体经济增速回落，世界经济复苏进程艰难曲折。复杂多变的内外部环境使得我国经济下行风险加大，特别是4月
马自达向美国商标专利局申报了拥有三增压技术发动机的专利保护信息。申报信息显示，该发动机最大的特点在于拥有传统的双涡轮增压技术，外加一个电控涡轮增压，形成了所谓的三增压
采用密度泛函理论（Density Functional Theory,DFT）,在B3LYP/6-31＋＋G（d,p）（C,H,N,S）和Lanl2dz（Ag）水平上,对三环唑分子及其Ag3复合物的结构进行了优化;通过计算频率,获得了三环唑分子及