论文部分内容阅读
关于不定方程(45n)x+(1012n)y=(1013n)z以及(51n)x+(140n)y=149n)z
【机 构】
：
曲阜师范大学
【出 处】
：
曲阜师范大学
【发表日期】
：
2018年期
其他文献
Mizar系统是用于证明或计算数学问题的计算机语言系统。它由波兰华沙大学AndrzejTrybulec教授组织的Mizar协会领导，其逻辑框架是基于Jaskowski自然演绎推理的古典逻辑。Mizar
本文基于可加的ψ-模糊偏好结构，我们分别在不可比关系为空集和大偏好关系强完全的条件下，研究了大偏好关系、严格偏好关系、无区别关系的传递性及其传递性指标. 首先，我们简
本文研究t-模的旋转不变性.首先，我们给出了旋转不变t-模的基本性质，我们讨论旋转不变性与其它t-模的性质之间的关系，主要包括旋转不变性与t-模的左连续性、幂零性、矛盾律、IT
Artin代数表示论的主要目的就是用一个代数的模范畴的性质来刻画这个代数.用模论来研究代数的好处之一是我们可以应用范畴理论和同调代数.从上个世纪40年代开始，同调代数逐渐
多层网格法通常可分为几何多层网格(GMG)法和代数多层网格(AMG)法与GMG法相比,AMG法具有更强的普适性和鲁棒性(robustness),它是求解许多大规模科学工程计算问题特别是偏微分
本文研究偏序集和连续偏序集上的Scott拓扑，主要内容如下： 第二章利用S-极限的方式在任意偏序集上定义了Scott拓扑，这推广了文[1]中利用S-极限在定向完备偏序集上定义的Scott