为方便,全书采用通常的逻辑约定:和,积,否定,蕴意, 等价,任意量和存在量分别用符号:V,,7,→,,以和3 在正文中,(xk)表示在第章的第节中的第k项 在文献中,[表示参考文献中的第k项其中k由该项 作者(们)姓的前几个字母接着为数字所组成姓氏按字母序 排同样的作者(们)则用数字区别不同的文章或其它出版物

众所周知,样条函数无论在理论上还是在应用中都具有十分 重要的意义。鉴于客观事物的多样性和复杂性,开展有关多元样 条函数方面的理论研究无疑是极为重要的60年代至70年代初, G. Birkboff,h.l. Garabedian和 arl de Boor等研究并建 立了一系列关于 Cartesian乘积型的多元样条理论 Cartesian 乘积型多元样条虽然有一定的应用价值但有很大的局限性,且在 本质上可以看作是一元样条函数的简单推广 1975年,本书著者采用函数论与代数几何的方法

组合设计理论是现代组合论的一个非常重要的分支,本章介绍 这一分攴的概貌,而把详细的讨论留在本书的以后各章。在介绍概 貌时,着重三个方面:一、这个分支的实际背景,附带介绍历史的 两个著名组合学课题(§11.1);二组合设计的主要类型,即可分解 设计(§11,1),全设计和正交设计(1,2),平衡不完全区组没计 (511,2)对称设计循环设计,几何设计和 Hadamard没计(§11.4), 部分平衡不完全区组设计(51.5),t-设计和按对平衡组设计

景观生态学是一门横跨自然和社会科学 的综合学科,其研究领域十分广阔。 景观生态学涉及生态学和生物学的其它 分支学科,还涉及土壤学、地质学、地理学、 水文学、气候和气象学,及一系列社会、经 济学科

本章首先介绍时序逻辑电路的特点、功能描述方法和一般分析方法；然后通过实例进一步论述基本分析方法和一些典型时序逻辑电路的组成、工作原理和特点

第3章80C51系列单片机指令系统 本章要点 一、80C51指令的基本格式 二、80C51指令功能分类 三、指令系统中的常用符号 四、80C51指令系统的七种寻址方式 五、数据传送类指令 六、算术运算类指令 七、逻辑运算及移位指令 八、位操作类指令 九、控制转移类指令

计算机与外界信息交换称为通信。 通信的基本方式可分为并行通信和串行通信:并行通信是数据的各位同时发送或同时接收;串行通信是数据的各位依次逐位发送或接收

第七章--数据的索引及其应用 7.1索引的基础知识 7.2索引的分类 7.3索引的操作 7.4设置索引的选项 7.5索引的分析与维护 7.6案例中的索引

金纳米颗粒(GNP)探针正引起科学家们越来越多的兴趣。本文主要综述了基于GNP自组装聚集反应的生物检测和微阵列金标银染检测的最新进展,对GNP在电化学等其他领域的研究前沿也进行了探讨

第5章离散信号与系统的时域分析 5.1离散时间信号 5.2离散系统的数学模型和模拟 5.3离散系统的零输入响应 5.4离散系统的零状态响应