搜索结果: 1-15 共查到“数学 定义”相关记录83条 . 查询时间(0.135 秒)
微分差分代数中的有效性与可定义性问题研究
微分 差分代数 有效性 可定义性
2021/3/3
有效性(Effectiveness)与可定义性(Definability)分别是计算复杂性与数理逻辑研究中的基本问题。有效性研究旨在给出相应问题的一致上界,保证算法设计的终止性,并在分析算法的计算复杂度中有重要应用。可定义性研究可被应用于解决一些困难的存在性问题,例如微分周簇的存在性、微分Galois理论中的逆问题等。2020年度我们在计算微分差分代数中的有效性与可定义性问题研究中取得如下重要进展...
西安电子科技大学概率论与数理统计课件2.5 方差的定义和性质。
西安电子科技大学概率论与数理统计课件2.4 数学期望的定义和性质。
西安电子科技大学概率论与数理统计课件1.4 概率的公理化定义。
西安电子科技大学随机过程课件 马尔科夫链定义与举例。
西安电子科技大学随机过程课件 泊松过程定义与基本性质。
西安电子科技大学随机过程课件 随机过程定义及其分类举例。
和积幻阵的定义及代数性质
和积幻阵 矩阵性质 线性性质 代数性质
2018/5/24
在和幻阵、积幻阵的相关定义和性质的基础上,给出和积幻阵的相关定义,并将其代数性质分为矩阵性质和线性性质进行研究。
湖南第一师范学院高等代数课件 9.1定义与基本性质
湖南第一师范学院 高等代数 课件 9.1定义与基本性质
2017/6/28
湖南第一师范学院高等代数课件 9.1定义与基本性质。