排序方式： 共有23条查询结果，搜索用时 203 毫秒
1.
利用皮亚诺公理可完成递归原理的证明，如果去掉皮亚诺公理的任意一条递归原理将不能成立，本文给出了几个例子说明了递归原理对皮亚诺公理的依存关系。 相似文献
2.
讨论了k步广义马氏过程及其时间不变性和平稳性，给出了熵率的两种定义，说明了其等价性，还给出了平稳的广义马氏链熵率的计算公式． 相似文献
5.
本文证明了命题逻辑形式系统Ｌ中任一公式ａ在某个模型中的取值是有限步内可判定的，进而得出Ｌ中任一公式ａ是否恒真式是有限可判定的，最后证明了Ｌ的任一公式是否是Ｌ的定理是有限可判定的。 相似文献
6.
几类函数方程解的探讨 总被引：1，自引：0，他引：1
研究了函数方程的求解及其解的性质．用分析方法和置换法，给出了函数方程f(x y)=αf(ax) βf(by)与f（ax by)=αf(x) βf(y)等八类函数方程的解。 相似文献
7.
子群积成群的几个条件 总被引：1，自引：0，他引：1
本文中的几个定理及推论给出群Ｇ的子群积仍是Ｇ的子群的几个充分条件及一个充分必要条件。 相似文献
8.
9.
本文列举了将有理分式展开成部分分式之和的几点应用；给出了通常所采用的待定系数法和求极限法；简单介绍了综合除法的两种形式，并且给出了利用综合除法将有理分式展开成部分分式之和的过程；最后对几种方法作了比较。 相似文献