论文部分内容阅读
RIGOROUS[*+*]一种较实用的形式化描述方法
【机 构】
：
武汉大学
【出 处】
：
全国软件理论与计算理论第三次学术会
【发表日期】
：
1987年期
其他文献
摘要：传统的国际结算课程教学以讲授式教学为主，缺乏实践操作，学生学习积极性不高，教学效果不甚理想。将项目教学法引入国际结算教学过程有利于学生国际结算业务知识的掌握，也有利于学生职业能力和综合素质的培养。介绍了项目教学法在国际结算课程中的具体应用过程以及相关的建议措施。 关键词：项目教学法；国际结算；高等教育 作者简介：孙莹（1980-），女，浙江海宁人，中国计量学院经管学院，讲师；张华（196
该文简要论述了逻辑程序设计语言PROLOG在功能块级逻辑综合中的一些应用。通过一些例子说明了用PROLOG程序把任一逻辑功能基本函数映象成功能块实现的基本规则。同时阐明了用
用 ４４个 ＲＦＬＰ标记对来自中国、印度、泰国等亚洲 １０个国家的普通野生稻（简称普野，下同）和来自多个国家的７５个栽培稻品种，从多态位点的比率、等位基因数、基因型数、平均杂合度及平均基因多