排序方式: 共有61条查询结果,搜索用时 15 毫秒
1.
2.
顾江民 《吉林化工学院学报》2018,35(11):43-45
运用取对数的方法将幂指型生成函数展开成幂级数,用Bernoulli数表示了进制数字和函数的次均值,得到几个均值计算公式。 相似文献
3.
4.
5.
元数学对计算机科学的启示 总被引:2,自引:0,他引:2
文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。 相似文献
6.
一个支持规约获取的形式规约语言 总被引:9,自引:0,他引:9
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明,LFC是一个能力强、易使用的语言,适合软件形式规约获取之用,并且适合其它一些用途。 相似文献
7.
8.
9.
张爱武 《苏州科技学院学报(工程技术版)》1999,(4)
对数学基础性质进行研究,从集合论的角度对递归函数类加以刻划,证明了关于递归函数类定义的一道等价的命题 相似文献
10.
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。 相似文献