最新 最热

【组合数学】生成函数 ( 换元性质 | 求导性质 | 积分性质 )

上述性质很难记忆 , 由已知生成函数 , 可以推导出未知的生成函数 , 使用时推导即可 ;

2023-03-28
1

【组合数学】生成函数 ( 求和性质 )

文章目录一、生成函数求和性质 1 ( 向前求和 )二、生成函数求和性质 2 ( 向后求和 )参考博客 :【组合数学】生成函数 简要介绍 ( 生成函数定义 | 牛顿二项式系数 | 常用的生成函数 | 与常数相关 | 与二项式系数相关 |...

2023-03-28
1

【组合数学】生成函数 ( 移位性质 )

文章目录一、生成函数移位性质 1 ( 向后移位 )二、生成函数移位性质 2 ( 向前移位 )参考博客 :【组合数学】生成函数 简要介绍 ( 生成函数定义 | 牛顿二项式系数 | 常用的生成函数 | 与常数相关 | 与二项式系数相关 |...

2023-03-28
1

【组合数学】生成函数 ( 线性性质 | 乘积性质 )

一个数列是 其它数列的线性组合 , 那么将其 生成函数进行相应的组合 , 也能求出 大的数列的生成函数 ;

2023-03-28
1

【数理逻辑】谓词逻辑的等值演算与推理演算 ( 个体词 | 谓词 | 量词 | 谓词逻辑公式 | 两个基本公式 | 命题符号化技巧 | 命题符号化示例 ) ★★

① 个体 来源 : 一阶谓词逻辑 中 , 将 原子命题 分成 主语 和 谓语 , 这里便有了 个体词 与 谓词 的 概念 ;

2023-03-28
1

【组合数学】递推方程 ( 常系数线性非齐次递推方程 的 非齐次部分是 多项式 与 指数 组合方式 | 通解的四种情况 )

参考博客 : 【组合数学】递推方程 ( 常系数线性非齐次递推方程 的 非齐次部分是 多项式 与 指数 组合方式 | 通解的四种情况 )

2023-03-28
1

【组合数学】递推方程 ( 特解形式 | 特解求法 | 特解示例 )

在 【组合数学】递推方程 ( 无重根递推方程求解实例 | 无重根下递推方程求解完整过程 ) 博客中介绍了 “常系数线性齐次递推方程” 的通解求法 ;

2023-03-28
1

【数理逻辑】命题逻辑的等值演算与推理演算 ( 命题逻辑 | 等值演算 | 主合取 ( 析取 ) 范式 | 推理演算 ) ★★

联结词 : 上一篇博客 【数理逻辑】谓词逻辑 ( 个体词 | 个体域 | 谓词 | 全称量词 | 存在量词 | 谓词公式 | 习题 ) 三. 联结词 章节讲解了联结词 ;

2023-03-28
0