本章讨论集合论中较为困难的问题—集 合的基数问题；但只限于对基数作一简 单介绍；如学时较少可不讲本章或对本 章作恰当的删减. 本章主要概念为:集合的等势、有限集与 无限集、可数集与不可数集及较为常见 的集合的基数

本书是普通高等教育“九五”国家级重点教材,是作者多年来在南京大学讲授固体物理的经验的总结作为一本面向大学本科学生的教材,本书在内容取舍、顺序安排、难度处理等诸多方面都经过反复斟酌本书在传统固体物理的理论框架和不增加篇幅的情况下,对一些一般教材讲解较少的内容做了比较深入的讲解,例如非完整晶格振动中的局域模、磁致电阻、范弗莱克顺磁性和超交换耦合等同时,作者适当地引入了一些凝聚态研究领域的新进展,如准晶体、量子霍尔效应和自旋相关输运等,在尽量不涉及高等量子力学和复杂的数学处理的情况下做到物理图像清晰、内容融会贯通,以使学生能够掌握从事凝聚态物理研究工作的专业基础知识全书内容包括晶体的结构及其对称性晶体的结合晶格动力学和晶体的热学性质、能带论、金属电子论、半导体电子论、固体磁性和超导电性8章。本书可作为高等院校物理类专业本科生、研究生的固体物理教材,也可供其他专业的师生及社会读者参考

随着信息时代的到来，网络成为人们生活中越来越不可或缺的元素之一。许多网站利用其强大的资源和知名度，面向其会员群提供日益专业化和便捷化的服务。例如，音像制品的在线租赁就是一种可行的服务。本文主要讨论了在线DVD租赁的问题，对网站如何购买DVD，如何分配DVD进行了一些研究

1.(10 分) 电冰箱制冷系统原理见图 1。继电器的输出电压 uR 为压缩机上的工作电压。绘制 控制系统框图，简述工作原理。若出现压缩机频繁起动，请提出相应的改进措施

静态链接库的扩展名为.lib 。如前所述，使用静态链接库的 应用程序是从函数库中得到所引用的函数的执行代码，然后 把执行代码放进程序自身的执行文件中，这样，应用程序在 运行时就可以不再需要静态函数库的支持了，通常库中存放 是常见的数学函数等

1. MATLAB 的概况 MATLAB 是矩阵实验室（Matrix Laboratory）之意。除具备卓越的数值计算能力 外，它还提供了专业水平的符号计算，文字处理，可视化建模仿真和实时控制等功能。 MATLAB 的基本数据单位是矩阵，它的指令表达式与数学,工程中常用的形式十分 相似,故用 MATLAB 来解算问题要比用 C,FORTRAN 等语言完相同的事情简捷得多

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

树是一类结构较为简单的图，是用途极 为广泛的离散数学模型，特别是二叉树， 它在计算机科学中用得最多.因此在学习 时应很好地掌握好诸如树的充要条件、 生成树、最优生成树、根树、树的各种 算法、及二叉树的访问次序等内容.平面 图是实际背景很强的一类图，能用本章 介绍的方法判断一个图是否为平面图