面向计算机科学的数理逻辑相关电子书下载

（波兰）塔尔斯基著；周礼全，吴允曾，宴成书译2011 年出版259 页ISBN：9787100078016

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译1963 年出版234 页ISBN：9787100005203

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

张朝晖主编2008 年出版287 页ISBN：9787811056990

本书介绍计算机在材料科学与工程中的应用。

江苏省科学技术协会编1994 年出版490 页ISBN：7504619159

J. S. Liu著2005 年出版344 页ISBN：750627258X

（美）小内格尔（H.T.Nagle，Jr）等编著；李作新译1984 年出版595 页ISBN：15045·27105290

郭荣冰，常荆燕主编；杨敬华副主编2004 年出版158 页ISBN：7562920478

该书讲述了n阶行列式，矩阵，线性方程组以及相似矩阵与二次型四章内容。

王师主编1975 年出版256 页ISBN：

张礼平编著1989 年出版216 页ISBN：7805760454

（美）布拉德利·埃夫隆，（美）特雷福·黑斯蒂著2019 年出版296 页ISBN：9787111627524

本书以丰富的案例介绍了计算机时代下的统计推断的发展脉络，从理论的角度剖析统计推断的各类算法、证据等，揭示统计推断如何推动当今大数据、数据科学、机器学习等领域的快速发展并引领数据分析的变革，最后展望...