神经科学的数学基础

G. Bard Ermentrout, David H. Terman

评分 9.7分

本书应用非线性动力学的方法来解决神经科学中的问题，包括利用现代数学建模方法理解各类试验中出现的神经放电模式。作者采用了多种非常广泛的方法来研究神经元以及神经回路的复杂模型，并结合数值模拟、解析法、动力学系统及扰动方法来分析多种类型的神经科学相关模型，形成一种新的现代理论。书中还分析了噪声、时间尺度效应以及空间相关性，解释了神经科学实验中出现的复杂的行为模式。 本书前面的章节包含了神经模型的基本演算

可计算函数

A.Shen, N.K.vereshchagin

评分 0.0分

这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m- 完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如 turing机和递归函数。 《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计

数学极客：探索数字、逻辑、计算之美

[美]马克·C. 查-卡罗尔（Mark C. Chu-Carroll）

评分 7.4分

一本数学启蒙书！ 一场别开生面的数学之旅！ 如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的..... 数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的

计算复杂性

Christos H.Papadimitriou

评分 0.0分

计算机复杂理论的研究是计算机科学最重要的研究领域之一，而Chistos.H.Papadimitriou是该领域最著名的专家之一。本书是一本全面阐述计算机复杂性理论及其近年来进展的教科书，主要包含算法图灵机、可计算性等有关计算复杂理论的基本概念；布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识；P与NP、NP完全等各复杂性类的概念及其之间的关系等复杂性理论的核心内容；随机算法、近似算法、

并行计算导论

Ananth Grama, George Karypis, 张武, 毛国勇, Anshul Gupta, Vipin Kumar, 程海英

评分 7.6分

《并行计算导论》(原书第2版)全面介绍并行计算的各个方面，包括体系结构、编程范例、算法与应用和标准等，涉及并行计算的新技术，也覆盖了较传统的算法，如排序、搜索、图和动态编程等。《并行计算导论》(原书第2版)尽可能采用与底层平台无关的体系结构并且针对抽象模型来设计处落地。书中选择MPI、POSIX线程和OpenMP作为编程模型，并在不同例子中反映了并行计算的不断变化的应用组合。

元胞自动机理论研究及其仿真应用

评分 0.0分

《元胞自动机理论研究及其仿真应用》基于元胞自动机的基本理论基础系统阐述了元胞自动机的理论问题及其在各种复杂系统仿真中的应用。《元胞自动机理论研究及其仿真应用》在理论方面主要对GF（2）元胞自动机理论、元胞自动机复杂行为度量方法进行了论述；在应用方面主要对元胞自动机的反问题研究、元胞自动机规则挖掘和基于元胞自动机的网络数据传输模拟、疾病传播、音乐生成等领域进行了详细介绍。

量子化学 第二版 下册

徐光宪, 黎乐民

评分 9.5分

《21世纪高等院校教材·量子化学(下册)(第2版)》共有9章，第17章介绍二次量子化方法，第18、19章详细介绍格林函数方法的原理、各种形式的格林函数及其某些应用，第20、21章分别介绍置换群的表示和线性变换群的张量表示，第22章介绍李群和李代数的基础知识、表示理论以及在化学和物理中的一些应用，第23、24章简要介绍量子散射理论，第25章比较详细地介绍光化学基元过程理论和应用示例。

量子化学 第二版 中册

徐光宪, 徐乐民, 王德民

评分 9.1分

《量子化学(第2版):基本原理和从头计算法(中册)》（第二版）分为上、中、下三册。上册讲述量子力学的基本原理、处理问题的基本方法和数学工具以及最重要的普遍性结论，中册介绍重要的量子化学计算方法，下册介绍量子化学研究的高级理论方法。《量子化学(第2版):基本原理和从头计算法(中册)》是中册，共有8章，第9章介绍量子化学积分（一）S1ater函数，第10章介绍量子化学积分（二）Gauss函数，第11、

计算出人意料

[法] 伊法尔.埃克朗

评分 8.2分

本书是一部关于突变理论的科普著作。作者着重给出了时间和变化的科学描述，介绍了已经取得的一些戏剧性的进展。这些新的科学观念冲毁了暗淡无光的经典决定论，已经改变了我们的科学实践和我们的知识领域。通过令人惊奇的实验和对突如其来的悖论的解释，这些观念今天已经可向门外汉传播。这些形象在所有科学领域中都唤起反响，并且注定要成为我们的文化遗产的一部分。

Intel Visual Fortran应用程序开发

周振

评分 0.0分

Intel Visual Fortran应用程序开发，ISBN：9787807341291，作者：周振红、徐进军、毕苏萍、苗丽、王宗敏

机械零部件结构设计及计算实例

评分 0.0分

组合问题与练习(上册)(第二版)

[匈牙利] 拉斯洛·洛瓦斯 (László Lovász)

评分 0.0分

《组合问题与练习(上册)(第二版)》编写的主要目的是为学习组合学现有技巧的人们提供帮助。学习这些技巧的最有效方式是做练习和解决问题，这本书的所有内容均以问题和系列问题的形式呈现（除了每章节开始的一些一般注解外）。在第二部分，给出了每个练习的提示，其中包含了解答所需的主要想法，但是允许读者通过完成证明来练习这些技巧。在第三部分，给出了每个问题的完整解答。《组合数学丛书:组合问题与练习(上册)(第二版

嵌入式系统

Raj Kamal, Raj Kamal

评分 0.0分

数值最优化算法与理论

李董辉, 童小娇, 万中

评分 0.0分

《数值最优化算法与理论(第2版)》较为系统地介绍最优化领域中比较成熟的基本理论与方法。基本理论包括最优化问题解的必要条件和充分条件以及各种算法的收敛性理论。介绍的算法有：无约束问题的最速下降法、Newton法、拟Newton法、共轭梯度法、信赖域算法和直接法；非线性方程组和最小二乘问题的Newton法和拟Newton法；约束问题的罚函数法、乘子法、可行方向法、序列二次规划算法和信赖域算法等。还介绍

最优化方法

孙文瑜, 徐成贤, 朱德通

评分 0.0分

《最优化方法(第2版)》是为高等学校理工科和管理类本科生编写的一学期使用的“最优化方法”教材，主要内容包括：基本概念、线性规划、线性搜索与信赖域方法、无约束最优化方法、线性与非线性最小二乘问题、二次规划、约束最优化的理论与方法等。全书深入浅出，理论、计算与应用相结合，尽可能避免较深的数学推导和证明。每章后面都有一个小结，并附有习题，易于教学。 《最优化方法(第2版)》可作为信息与计算科学、数学与应

伟大的计算原理

Peter J. Denning

评分 8.5分

本书系统总结了从算法到系统横跨计算机领域的6类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算机专业计算机科学导论课程的教学参考书，也适合IT领域的程序员及专业人员阅读。