本书内容包括服务电类专业、衔接高等数学内容的初等数学的预备知识、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用、向量与空间解析几何、常微分方程、级数、拉普拉斯变换、行列式与矩阵、线性方程组。 本书可作为高职高专院校电类专业的通用教材，也可供需要高等数学知识的工程技术人员自学、参考使用。
![面向计算机科学的数理逻辑系统建模与推理 [英]胡思](http://img3m0.ddimg.cn/26/27/11808702800-1_l.jpg)
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞 【正版】](http://img3m3.ddimg.cn/83/22/11758940903-1_l.jpg)
