共查询到15条相似文献,搜索用时 46 毫秒
1.
2.
一、前言 γω演算有希望成为泛函程序设计语言(至少,对于不带类型的)最一般的语义学理论基础。本文为形式泛函程序设计语言FFP奠定γω演算语义,从而也为γω演算开发了一种应用。文中还着重讨论了FFP语言中的元合成法则,并提出了一般性元合成法则(general metacomposition rule,它区别于广义元合成法则)。 相似文献
3.
正交试验设计法是一种数理统计方法。该方法可以把影响产品质量(产量或成本)的多个因素一起考虑,设计出实验方案。按照方案控制生产进行实验,能够很快找出最佳方案,达到提高产品质量、提高产量、降低成本的目的。 相似文献
4.
正交试验设计法是一种数理统计方法.该方法可以把影响产品质量(产量或成本)的多个因素一起考虑,设计出实验方案.按照方案控制生产进行实验,能够很快找出最佳方案,达到提高产品质量、提高产量、降低成本的目的. 相似文献
5.
6.
7.
8.
9.
10.
11.
文章从语言和文化关系的角度出发,分析了导致英汉动物词语文化意义趋异的因素,并对其分类进而找出相适应的交际方法,揭示出在语际交流中文化因素的重要性。 相似文献
12.
13.
14.
烹饪与营养教育专业是新兴本科专业之一,现代化的科学技术与传统的烹饪工艺相结合以继承和发扬中国的烹饪工艺是该专业的特点,如何在实验教学中通过实验项目的设计贯彻这一思想是烹饪与营养教育专业发展所要思考的重要问题。 相似文献
15.
文章就《经济与政治基础知识》课教学中运用多媒体辅助教学提高教学质量进行了探讨,同时提出了多媒体在教学中具体应用的“七点”。 相似文献