搜索筛选:
搜索耗时2.3102秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[学位论文] 作者：赵丕卿,,
来源：青岛科技大学 年份：2004
Mizar系统是由波兰华沙大学的Andrzej Trybulec教授于二十世纪七十年代开创的集逻辑证明、推理演绎、校验排版、复杂计算、科研教学功能于一体的形式化系统,同时在自动化控制...
[期刊论文] 作者：赵丕卿,
来源：高师理科学刊 年份：2010
利用二次剩余理论，证明了Diophanfine方程（m＋n）^2=m＋n!仅有正整数解（m,n）＋（1，4）．...
[期刊论文] 作者：赵丕卿,
来源：民风(上半月) 年份：2012
摘要：本文以细腻的笔墨饱含深情地阐述了师爱在教育中的重大作用，读来令人深思，为了说明问题，作者从热爱每一个学生,公平地对待学生、带着一颗爱心，坚持教、学、做合一进行了详细论述。 关键词：热爱；学生；公平；爱心 【中图分类号】 G632 【文献标识码】 B 【文章编......
[期刊论文] 作者：李秀丽,赵丕卿,
来源：科学技术与工程 年份：2010
设P为域GF（q）上的n（n≥3）维射影空间PG（n,q）中的一个点,L是PG（n,q）中过P的一条线。取包含L的超平面组成的集合为信源集S,与L的交为{P}的超平面组成的集合为编码规则集E。与L的交为{P}......
[期刊论文] 作者：赵丕卿,赵刚堂,
来源：沈阳大学学报 年份：2009
应用本原解、解数列等概念,完整、清晰地表述了形如x^2-（a^2-1）y^2=k（k∈Z,k≠0,a≥2）型Pell方程的整数解集....
[期刊论文] 作者：赵丕卿,赵刚堂,
来源：南阳理工学院学报 年份：2009
将传统的数学归纳法作了推广，并通过证明数论中的一个命题说明了该法的优越性。...
[期刊论文] 作者：邢建民,赵丕卿,
来源：科学技术与工程 年份：2010
给出了SG-Cotorsion模的定义,并利用同调的方法讨论了SG-Cotorsion模的性质,目的是找到SG-Cotorsion模与预包络的关系,并最终找到了一个R-模M存在特殊的SG-Cotorsion预包络的...
[期刊论文] 作者：李秀丽，赵丕卿，LIXiu-li，ZHAOPi-qing,
来源：黑龙江科技信息 年份：2010
鸡西矿业集团公司张辰煤矿西三采区3...
相关搜索：
