本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、 模型论、 递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。 也可供相关科技工作者参考。

本书主要介绍了一类基于线性化多项式的置换多项式，Helleseth和Zinoviev*先使用这类多项式研究Kloosterman和恒等式，Yuan和Ding率先提出研究这类置换多项式的构造。本书分别从这类置换多项式的指数满足同余式、具有分数形式和基于多个线性化多项式等方面研究了这类置换多项式的构造，多项式置换性质的证明主要借助有限域上方程解数的确定和AGW准则的运用等。

本书共十章。第一章阐述非参数统计的特点，第二章讲解描述性统计方法，第三、四章分别讲解符号检验法、符号秩和检验法，第五到八章分别讲解两样本、多样本和区组设计等问题以及相关分析的非参数统计方法，第九章讲解非参数密度估计和非参数回归，第十章讲解检验的渐近相对效率。本书结合统计软件和案例分析讲解非参数统计的理论与方法，可以作为统计专业的教学用书，也适宜于社会学、心理学、人口学、医学、教育学及生物学等学科的研究和应用的人士阅读，作为这些学科的教学用书。

本书内容是几何分析领域优秀的科研工作者所写的综述性报告，文章汇报了几何分析领域的前沿热点。.。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

本套教材是作者在多年珠心算尖子选手培养和普及教学实验的基础上编写而成的。内容包括10以内直加、直减法；10以内满5加、破5减法；20以内进位加法和退位减法等。适合幼儿园中班、大班和小学低年级作珠心算起始教材使用。本套教材有以下几个特点：（1）以珠算教学为基础。主要达到两个目的：以算盘为学具，理解相应的算理；拨动算珠，建立感性的算珠图像。（2）以建立珠像为难点。珠像是从珠算到心算的桥梁，也是贯串本套教材始终的主要教学内容之一，从静态珠像到动态珠像的过程，就是心算逐渐形成的过程。（3）以心算教学为重点。本套教材集中体现了从正确心算到熟练心算的教学过程，同时，重视学生兴趣的激活和智力的开发。除了安排难易适度的教学内容和形式多样的教学方法之外，还配置了丰富多彩的图画，使学生不断产生成功的情感体验。学生在“珠心算”学习中，通过分析、综合、抽象、概括等思维活动，可促进左右脑协调，思维畅通。本套教材以40分钟为一课时，共64课时。教师在实际教学中，教学进度可根据需要作适当调整。同时，我们还编写了与本套教材相配套的练习册，作为课本练习题的补充，以保证学生动手操作与动脑思考的时间比例，实现各种教学要素的优化组合。

暂缺简介...

《射影曲面概论》是著者继《射影曲线概论》后的又一本射影微分几何专著，概括了作者在1935年左右和近年来在这方面的研究成果．全书计有：曲面的基本元素；所有主切曲线全属于线性丛的曲面；射影极小曲面；某些构图（T）和其有关变换等四章．其中第2、3章是《射影曲面概论》的重点．特别是第3章，基本内容围绕交扭定理编成，还涉及奥克塔夫·迈叶尔和戈德的工作，著者在这里作出了一些有关定理和公式的补充．对射影极小曲面论本身，以及对研究高维射影空间共轭网论都提供了丰富的内容。

一个空间嵌入另一空间（例如欧氏空间）是否可能以及这些嵌入所依据的同痕的分类问题，已成为拓扑学中重要的中心问题之一，也是许多拓扑学家从各种不同角度用各种不同方法研究的对象之一.《可剖形在欧氏空间中的实现问题》是作者从1954年以来在这方面研究工作的一个总结报告，它的方法在于研究空间的去核p重积，即将P重积除去对角以后所余的空间，这一概念可追溯到Van Kampen早在1932年的一篇重要论文.其次再应用P. A. Smith有关周期变换的理论以获得若干作为Smith特殊群中上类的不变量，它们之为0是嵌入的必要条件而在某些极端情形又同时为充分条件，关于嵌入的许多已知结果以及一些新的结果，虽有着种种不同的来源，都可用这一统一的方法得出.浸入与同痕也可用同样办法处理并得出相应的类似结果。

暂缺简介...

样条（Spline）函数是适应计算帆辅助几何设计和数据处理需要的有效数学工具。《样条函数方法》共十一章，其巾心内容是讨沦曲线拟合问题的样条甬数方法，书中强调了样条函数与δ函数的内在联系，提倡采用δ-基函数插值法；提出了保凸拟合和磨光法：对偶次样条函数理论开展了初步研究：还介绍了样条函数方法在微分、积分方程数值解及其它方面的应用.在每章末还附有方法的ALGOL程序和算例。《样条函数方法》的对象是：有关的计算数学与数学工作者、大学生、研究生以及工程技术人员。