现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

谈如何建立家庭档案

随着社会档案意识的不断提高,档案的门类和领域也在不断深化和发展,不仅各行各业各条战线注重档案的形成、积累与开发利用,而且社会上许多家庭和个人也开始重视档案的建立和管理。这是档案部门值得关注的新生事物。那么,什么叫家庭档案,家庭档案内容包括哪些,如何建立与管理家庭档案呢?笔者就这一问题谈点个人认识。     

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

浅析地籍测量及成图方法

对目前我国地籍测量试点区测图方法进行了有代表性的具体归纳,并对其成图精度进行了比较,在此基础上分析了各种成图方法之优劣及各自适用范围,以便各种测量方法在成图过程中发挥最佳效益。     

建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

时代发展与思想政治工作的创新

新的历史时期对思想政治工作提出了严峻的挑战。由于思想政治荼的主体、对象已经发生了很大的变化。因此，思想政治工作应在思念、工作内容、方式方法上有所创新。这是开拓思想政治工作新局面的必由之路。     

时域有限差分方法中的网格非均匀划分算法

本文在均匀正交网格划分Ｙｅｅ－ＦＤＴＤ算法的基础上，提出一种非均匀正交网格划分算法，它包括网格放大算法和网格加密算法两个方面。这种非均匀网格划分算法的正确性将通过数值计算来验证。