聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 一阶逻辑中的重写证明算法
出处:计算机学报 1988年第2期
摘要:本文在布尔代数标准重写系统的基础上,提出了一种把一阶逻辑公式转换成布尔环中等式的方法,并由此建立了一... 显示全部
关键词: 布尔环 一阶逻辑 证明算法 因子分解 布尔代数 重写系统 最简式 证明过程 定理证明 语义树
期刊文章 一个重写证明算法
出处:计算机学报 1987年第7期
摘要:本文在AC合一和布尔代数标准重写系统的基础上,提出了一组转换规则和一个定理证明算法,这种证明算法使用了... 显示全部
关键词: 证明算法 重写系统 转换规则 布尔环 布尔表达式 重写规则 布尔代数 定理证明 分解式 交换环
期刊文章 B值独立随机变量序列的有界重对数律
出处:应用概率统计 1987年第2期
关键词: 重对数律 随机元 指数不等式 中心极限定理 随机变量 定理证明 条件期望 正实数 简单推论 自然数集
期刊文章 浅球薄壳轴对称极凹陷的非轴对称的动力不稳定性
出处:应用数学和力学 1989年第9期
摘要:当壳厚-升高比ε~2《1时,由二次型载荷产生的轴对称极凹陷的浅球薄壳是动力不稳定的.微小的扰动足以使它变... 显示全部
关键词: 特征值问题 二次型 轴对称变形 动力不稳定 自共轭 谱理论 不稳定性 定理证明 积分方程
找到4条结果
`