论文部分内容阅读
本文应用数理逻辑的方法，证明了数学中的某些问题。
数学命题与证明中的数理逻辑
【摘 要】
：
本文应用数理逻辑的方法，证明了数学中的某些问题。
【机 构】
：
齐齐哈尔师范学院数学系
【出 处】
：
齐齐哈尔师范学院学报：自然科学版
【发表日期】
：
1996年2期
其他文献
介绍了大豆磷脂的化学组成及结构特点，简述了大豆磷脂的理化特性及在食品，医药，化妆品等工业方面的应用。
本文给出了初等ｇ－循环矩阵的概念，研究了它们的性质并且给出了仅用参数ｇ（整数）和初等ｇ－循环矩阵元素本身就可做出判断其非异性的五种方法。
提出了一类双调和方程的高精度差分方法，该方法是以建立Ｐｏｓｉｓｓｏｎ方程的高阶方法法为前提的，具有四阶、六阶精度。用于应用算例，检验了本文格式的优良性态。
从色度学理论出发，在１９７６（Ｌａｂ）颜色空间内，探讨了不同波长处的相对光谱功率分布变化对光源颜色的影响情况，建立了数学表达式，从而能准确地判断各个波长点对光源颜色的影响。并且以Ａ光源和Ｄ６５光