本书共分十二章，每章又分若干节，在章节设置上和同济大学六版高等数学教材基本一致，涉及的内容涵盖了高等数学的全部主题。在本书中每章除最后一节外每节包括两大部分内容：知识要点：简要对每节涉及的基本概念
![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
![斯米尔诺夫高等数学第一卷 []斯米尔诺夫](http://img3m2.ddimg.cn/67/13/11767704862-1_l.jpg)
《赵老师讲平面几何（下）辅助线及通用的方法》是讲平面几何解题思路及其训练的系列丛书的下册，重点讲解平面几何中比较重要的辅助线及通用的几何解题方法。老师们通过学习此书可以掌握平面几何中难度技巧较高的方法，并能辅导学生举一反三、触类旁通，使学生掌握一整套行之有效的学习几何和解几何题的高层次方法。可以说，此书为学习平面几何提供了一把金钥匙，是全国广大中学生（特别是初中生）及中学数学教师的良师益友。
乔治·布尔发明了一套符号用来进行逻辑演算，创造了逻辑代数系统，完成了逻辑的数学化。布尔称他的工作为“思维的定律”，理由是命题代数和思维过程的原则紧密相联。新的知识常常会为你解决一些意想不到的难题。布尔代数就可以应用于解决逻辑问题，这些问题的条件形成一个命题的总体，我们可以利用它证实某些其他命题的真和假。布尔代数在代数学、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用。本书介绍了布尔代数、广义布尔代数、布尔方程、布尔矩阵、布尔表示等概念，还列举了布尔代数在逻辑线路、极大极小值等问题中的应用。
