构造性理论相关论文
本文就爱因斯坦的科学观进行了简要的分析和评论。作者指出,爱因斯坦把科学视为认识过程和认识结果的统一体,他既反对纯粹经验主义......
本文介绍了近年来国际上具抽象边界条件的迁移方程的研究进展,主要阐述了这类迁移方程解的构造性理论及应用等研究成果。......
<正> 从广义上说,凡是科学理论都有它的逻辑结构。以此为出发点,我们从横向认识上来看当代自然科学理论,由于它们的水平并不都是......
本文提出了一种新型的测试模型一基于类型理论的构造性软件测试模型。程序构造与程序设计同时进行开发,而测试过程把类型和程序不加......
今年6月,第14届国际迁移理论大会在我国召开,这是该会首次在亚洲召开,也是首次在发展中国家召开……担任这次国际会议主席的是中国......