切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :青岛科技大学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
当前,数学问题计算机证明的研究已成为世界各国积极研究的前沿领域。随着计算机技术的发展,人们己根据机械化方法创建了各种机器语言来编写程序,在计算机上给出相应数学问题的机
【作 者】
:
李代鲁
【机 构】
:
青岛科技大学
【出 处】
:
青岛科技大学
【发表日期】
:
2010年01期
【关键词】
:
粗糙子群
幂零群
р-群
р-交换群
计算机证明
Mizar语言
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
扰动偏微分方程的近似守恒律
非线性现象广泛存在于物理、化学、社会、经济等自然界和人类社会领域.随着科学的发展,描述这些现象的非线性系统越来越受到人们的关注,进而成为了重要的研究课题之一.在非线性
学位
扰动偏微分方程
守恒律
Euler-Lagrange
Noether对称算子
伴随系统
随机图及多个体系统的一致性问题
随着科学技术的发展进步,复杂网络作为一个新兴的多学科交叉研究领域,已取得了许多成果。除了对复杂网络的实让分析,网络拓扑结构和网络上的动力学是两个十分重要的研究课题,
学位
关于几类*-半环的研究
不动点(固定点)和前不动点理论在半环代数理论中扮演着十分重要的角色.本文主要研究了与不动点或前不动点密切相关的几类*-半环.主要结果如下: 1.从矩阵的角度对一类特殊
学位
矩阵半环
不动点
非负整数
两两NQD序列下递归型密度函数核估计的大样本性质
概率密度函数的估计问题一直是数理统计中比较热门的问题,受到了许多学者的广泛关注。针对密度函数估计问题,人们提出了多种估计方法,其中最常见的有直方图法、核密度估计法以及
学位
递归型密度核估计
相合性
渐近正态性
数理统计
环的模糊理想强截集诱导的格及格的模糊同态
本文首先介绍了由环上模糊理想强截集诱导出的格,讨论它的结构,得到了它是一个模格的结论。进而,基于主理想环,我们得到了模糊理想乘积的强截集等于强截集的乘积,且都为环的理想。
学位
Boolean环
模格
强截集
模糊映射
模糊同态
文言文学以致用的记叙文写作探究
部编教材投入使用,笔者把教材中的优秀文言文作为范文,进行记叙文微写作教学的尝试.以充分实现“读写结合,一课一得”,培养学生写作兴趣,养成良好的写作习惯,掌握一般的写人
期刊
文言文
记叙文
写作
初中
几类非线性发展方程和方程组的定性研究
本文研究几类非线性发展方程和方程组解的定性性质:初值或初边值问题解的整体存在性、渐近行为和有限时刻爆破等.主要内容安排如下: 第一章介绍与本文的研究工作相关的背
学位
非线性发展方程
方程组解
定性性质
整体存在性
渐近行为
有限时刻爆破
NAHBS北美手工自行车展正式公布2018年计划
一年一度的手工自行车盛宴——北美手工自行车展最近正式公布了2018年的展会计划。北美手工自行车展已经连续举办了14年,从德克萨斯州休斯顿的小展会发展成为现今世界上最大
期刊
自行车展
NAHBS
展会
德克萨斯州
Columbus
北美
康涅狄格
日常
新年
浅谈多媒体对初中语文教学创新作用的分析
兴趣是学生从事学习活动最主要的动力因素之一,学生一旦对n所学内容产生兴趣,就会在兴趣的驱使下主动地投入到学习活动中n来。这样,在整个学习过程中,学生就处于学习主体的地位,对
期刊
多媒体
初中语文教学
学习活动
实践能力
学生
兴趣
学习主体
学习过程
归纳分析
反思能力
动力因素
创新能力
知识
地位
邯郸县政协副主席傅顺林摄影展 鸟语天空
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
县政协副主席
与本文相关的学术论文