• 图灵的秘密

    图灵的秘密

    〔美〕佩措尔德
    图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。 书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。 Charles Petzold Windows编程界大师,世界顶级技术作家。1994年5月,Petzold作为仅有的七个人之一(并且是唯一的作家)被《Window Magazine》和Microsoft公司授予Windows Pioneer奖,以表彰他对 Microsoft Windows的成功做出的贡献。Charles Petzold从1984年开始编写个人计算机程序,从1985年开始编写 Microsoft Windows程序。他在《Microsoft Systems Joumal》1986年 12月号上发表了第一篇关于Windows程序设计的杂志论文。从1986年到1995年,他为《PC Magazine》撰写“Environments”专栏,给读者介绍了Windows和OS/2程序设计的许多方面。 直到今天他依然维持 Windows GDI 程序设计首席技术作家的地位。其大作:《Windows程序设计》是尽人皆知的Win32 API编程经典,也称为“Petzold Book”,学习Win32 API编程的人几乎都从这本书入手。
    4
    约 216,424 字历史
  • 数学(中文版)

    数学(中文版)

    〔英〕蒂莫西·高尔斯
    所有人在日常生活中都会接触到数学问题,多数人却又对之心存畏惧。在《数学》这本极为易读又充满趣味的小书中,蒂莫西·高尔斯解释了高等数学与我们在中小学所学的数学知识之间的一些最为根本的、主要是哲学性的区别,让我们能更好地理解那些听起来带有悖论的概念,比如“无限”“弯曲空间”“虚数”等。从基本的观念,到哲学探究,再到与数学共同体相关的一般社会学问题,《数学》揭开了空间和数的神秘面纱之一角。 在蒂莫西·高尔斯编著的这本《数学》中,看不到很多的术语、记号和公式,对有关的数学概念及内涵一律用简明而生动的语言来介绍,看似如数家珍,娓娓道来,但举重若轻,高屋建瓴,反而更好地揭示了本质。不熟悉有关数学内容的读者,会感到茅塞顿开、豁然开朗;而已经熟悉有关内容的读者,也会有如沐春风、别开生面的感受。 蒂莫西•高尔斯 剑桥大学劳斯•鲍尔数学教授,“数学界诺贝尔奖”——菲尔茨奖获得者,该奖专门授给“年轻数学家所作的最为大胆、最为深入、最有启示性的研究”。 序言作者 李大潜 复旦大学数学科学学院教授,中法应用数学研究所所长,《数学年刊》主编,曾任中国工业与应用数学 学会理事长,中国数学会副理事长。1957年毕业于复旦大学数学系并留校任教,1980年任教授,1995年当选为中国科学院院士,1997年当选为第三世界科学院院士,2005年当选为法国科学院外籍院士,2007年当选为欧洲科学院院士,2008年当选为葡萄牙科学院院士。在偏微分方程的理论及应用方面,取得了多项具有国际先进水平的成果。
    4.5
    约 68,158 字历史
  • 费马大定理

    费马大定理

    〔英〕西蒙·辛格
    《费马大定理:一个困惑了世间智者358年的谜》是关于一个困惑了世间智者358年的谜题的传奇。书中既有振奋人心的故事讲述方式,也有引人入胜的科学发现的历史。 西蒙·辛格讲述了一个英国人,经过数年秘密辛苦的工作,终于解决了最具挑战性的数学问题的艰辛旅程。 西蒙・辛格(Simon Singh),出生于英国萨默塞特郡,具有印度旁遮普血统,曾在伦敦帝国学院学习物理,并获剑桥大学粒子物理学博士学位。在BBC电视台《明日世界》工作5年后,参与了1996年获奖纪录片《地平线:费马大定理》的制作和导演。1999年出版《密码故事》一书。 薛密,复旦大学数学研究所《数学年刊》编辑部编审。毕业于上海交通大学,长期从事英文编辑工作,译有《费马大定理》、《上帝的方程式》等多本著作。其中《费马大定理》一书获第四届“全国优秀科普作品奖”三等奖,其繁体字版《费玛最后定理》获第一届“吴大猷科学普及著作奖”佳作奖。
    4.7
    约 162,582 字历史
  • 魔鬼逻辑学

    魔鬼逻辑学

    周建武 王宇
    博弈逻辑(game logk)研究的是理性的人在互动行为中即博弈中的推理问题,是逻辑学科的一个分支,是行动者或参与者在互动的过程中如何选择策略或如何做出行动的逻辑,属于应用逻辑范畴。 《魔鬼逻辑学:揭露潜藏在历史与社会表象下的博弈法则》是一部有关逻辑博弈的大众通俗读物。以发生于真实的历史与日常生活中的故事为分析对象,力图把社会中错综复杂的关系理性化、抽象化、推理化,以便更精确地刻画并把握事件发展变化的深刻内涵。 周建武:在京专职从事博、硕士研究生教育与培训管理工作,具有丰富的教育管理与培训开发经验。长期从事逻辑学的教学研究工作,擅长专业学位考研逻辑辅导,讲解独到,分析透彻,效果卓著,深受学员推崇;已编著出版逻辑学教材、专著及考研用书二十余部。
    4
    约 158,179 字历史
  • 统计思维

    统计思维

    〔美〕Allen B.Downey
    本书正是一本概率统计方面的入门图书,但视角极为独特,折射出大数据浪潮的别样风景。作者将基本的概率统计知识融入Python编程,告诉你如何借助编写程序,用计算而非数学的方式实现统计分析。一个趣味实例贯穿全书,生动地讲解了数据分析的全过程:从采集数据和生成统计量,到识别模式和检验假设。一册在手,让你轻松掌握分布、概率论、可视化以及其他工具和概念。 《统计思维:程序员数学之概率统计》是一本以全新视角讲解概率统计的入门图书。抛开经典的数学分析,Downey 手把手教你用编程理解统计学。概率、分布、假设检验、贝叶斯估计、相关性等,每个主题都充满趣味性,经编程解释后变得更为清晰易懂。 本书研究数据主要来源于美国全国家庭成长调查(NSFG)与行为风险因素监测系统(BRFSS),数据源及解决方案的相关代码全部开放,具体章节列出了大量学习和进阶资料,方便读者参考。 Allen B. Downey是富兰克林欧林工程学院的计算机科学副教授,曾执教于韦尔斯利学院、科尔比学院和加州大学伯克利分校。他先后获麻省理工学院计算机科学硕士学位和加州大学伯克利分校计算机科学博士学位。Downey已出版十余本技术书,内容涉及Java、Python、C++、概率统计等,深受专业读者喜爱。他的最新Think系列书还有Think Complexity: Complexity Science and Computational Modeling、Think Python。
    4
    约 64,221 字历史
  • 证明达尔文:进化和生物创造性的一个数学理论

    证明达尔文:进化和生物创造性的一个数学理论

    〔美〕格雷戈里·蔡汀
    在这部开创性著作中,数学家格雷戈里•蔡汀提出了关于进化和生物创造性的一个数学理论,试图揭示生物学深层的数学结构。在阿兰•图灵和约翰•冯•诺伊曼的相关思想的基础上,作者进一步深化了生命作为不断进化的软件的思想,开辟了一个称为“元生物学”的新领域。 除了核心的数学证明,作者还从元生物学的视角重写了分子生物学的早期历史以及软件的人类发现史,重新审视了图灵和冯•诺伊曼的工作。他还探讨了元生物学的神学和政治学意涵,强调创造性之重要,呼吁我们要有足够的创造性去设计一个允许创造性的社会。 格雷戈里•蔡汀(Gregory Chaitin) 1947年出生于美国芝加哥的一个阿根廷移民家庭,在纽约度过了童年时期。还是在高中时,他写作了自己第一篇发表的学术论文。在就读于纽约城市大学时,他写作了一篇长篇论文,独立发现了柯氏复杂性(另外两位独立的发现者是柯尔莫哥洛夫和所罗门诺夫),他因而被称为算法信息论的开创者之一。但大二没有结束,他中止了学业,随父母返回阿根廷。其后他陆续在布宜诺斯艾利斯的IBM分公司担任过程序员,在纽约的IBM沃森研究中心担任过研究员。 之后,他全身心投入到算法信息论及相关领域的研究。他提出了著名的蔡汀常数Ω,一个可定义却不可计算的实数。他对形而上学和数学哲学也有着深入的思考,认为算法信息论是破解生物学和神经科学等领域的一些重大问题的关键,并致力于发展关于进化和生物创造性的一个数学理论。
    4
    约 50,142 字历史
  • 有趣的统计:75招学会数据分析

    有趣的统计:75招学会数据分析

    〔美〕Bruce Frey
    本书介绍的实用技巧运用了统计学原理,还借鉴了教育学和心理学上的测量和实验研究方法。这些技巧可以帮你解决商业、游戏以及日常生活中的各类问题。 作者简介: Bruce Frey 博士,连环画收藏家和电影爱好者,现任堪萨斯大学教育心理与研究项目助理教授,教授研究生统计学,在教学过程中屡获殊荣。Bruce获得的主要成就包括:青少年时期荣获堪萨斯州大富翁锦标赛第三名,读大学时荣获堪萨斯州电影节第二名,中年时在堪萨斯州劳伦斯举办的德州扑克锦标赛中获得不错的第三名。 译者简介: 邹澍 热爱统计决策,热衷探究现象背后的统计原理。曾学习过统计学和心理学。目前为移动端用户体验工程师,密切关注用户体验前沿领域,在移动端应用需求研究和设计方面经验丰富。个人主页:uxoffer.com。
    4
    约 199,628 字历史
  • 建筑中的数学之旅

    建筑中的数学之旅

    〔美〕 Alexander J. Hahn
    本书围绕两条叙事主线展开,一条主线介绍了从金字塔到20世纪的世界标志性建筑,讨论这些伟大建筑的建筑形式和结构,用赫赫有名的例子说明建筑的重要特征,另一条主线则介绍了欧几里得几何、三角学、向量、二维和三维解析几何,以及微积分等数学知识。在作者旁征博引、娓娓道来的笔触下,这两条主线交织在一起,图文并茂地展示了彼此的互相影响,给人无限启发。本书的彩图集合了全书介绍的历史性建筑,是本书的快速导览。 Alexander J. Hahn,美国圣母大学数学系教授,多年来主要关注正交群、矩阵群、克利福德代数(几何代数)、Azumaya代数结构、二次型、埃尔米特型等代数方面的研究。
    4
    约 246,032 字历史
  • ANSYS 14.0超级学习手册

    ANSYS 14.0超级学习手册

    张建伟 白海波 李昕
    《ANSYS 14.0超级学习手册》采用GUI界面操作与APDL命令相互对照的方式,从基础知识、专题技术、工程应用3个层面,详细地讲述了大型通用有限元软件ANSYS ;14.0的使用方法与使用技巧。基础知识部分为读者讲解了有限元法的基础知识,使用ANSYS进行有限元分析的基本流程与方法,使用ANSYS进行建模、网格划分、边界条件定义、求解、后处理等知识。专题技术部分根据作者工程应用的实际经验,为读者介绍了大量高级应用知识,包括使用ANSYS进行结构静力学分析、模态分析、谐响应分析、瞬态动力学分析、谱分析、稳态热分析、瞬态热分析、相变问题分析、电磁场分析、多物理场耦合分析、几何非线性与材料非线性分析、接触分析、生死单元技术、子结构技术、复合材料分析等应用。工程实例部分,为读者介绍了经典的机械工程和土木工程综合应用实例。 张建伟,熟练掌握ANSYS、ABAQUS等有限元分析软件,在国内外期刊发表论文多篇。 白海波,具备扎实的有限元理论基础,精通ANSYS、AUTOCAD、Pro/Engineer等软件,从事计算力学及仿真计算工作多年。 李昕,参与多个工程项目,在工作中积累了大量的工程经验,熟练掌握ANSYS、PDS、PDMS等相关软件的使用。
    3.4
    约 195,983 字历史
  • ANSYS Workbench 14.0超级学习手册

    ANSYS Workbench 14.0超级学习手册

    黄志新 刘成柱
    《ANSYS Workbench14.0超级学习手册》详细介绍了ANSYS公司最新版本的有限元分析平台Workbench 14.0的功能及应用。通过学习,读者不仅能掌握软件的操作,同时也能掌握解决相关工程领域实际问题的思路与方法,并能自如地解决本领域所出现的问题。 《ANSYS Workbench14.0超级学习手册》共14章,第1章~第4章以各个分析模块为基础,介绍ANSYS Workbench 14.0的建模、网格划分、与常见CAD软件集成、结果后处理等内容。第5章~第14章以项目范例为指导,主要讲解Workbench在静力学分析、动力学分析、热力学分析、接触分析、电磁场分析、疲劳分析、复合材料分析、结构优化分析、流体动力学分析及多物理场耦合分析中的应用等内容,其中电磁分析模块(Maxwell)、疲劳分析模块(nCode)及复合材料分析模块(ANSYS ACP)需要读者单独安装。 黄志新,刘成柱编著
    0
    约 156,125 字历史
  • ANSYS14.0有限元分析权威指南

    ANSYS14.0有限元分析权威指南

    温正 张文电 等编
    《ANSYS14.0有限元分析权威指南》包括基础与案例应用两部分,共16章,其中基础部分包括有限单元法与ANSYS的简介、有限单元法与ANSYS有限元分析的基本流程、ANSYS模型的建立、ANSYS的单元类型与材料加载、ANSYS的加载与求解、ANSYS后处理及参数化设计等内容;案例应用部分包括结构静力学分析、结构动力学分析、显式动态分析、热分析、电磁分析及非线性分析等,并介绍了一些高级应用技术,如超单元技术、生死单元技术等。《ANSYS14.0有限元分析权威指南》遵循深入浅出的原则,通过详细的图形用户界面和命令流方式对不同的工程应用问题进行了详细的讲解,并在讲解过程中穿插介绍了大量分析方法和使用技巧。《ANSYS14.0有限元分析权威指南》光盘配有书中实例的有限元模型、APDL代码以及计算结果等,方便读者查阅和参考。 温正、张文电 等 编著
    0
    约 223,173 字历史
  • ANSYS ICEM CFD工程实例详解

    ANSYS ICEM CFD工程实例详解

    胡坤 李振北
    本书以计算流体动力学(CFD)的分析流程为主线,全书涉及以下内容:CFD工程应用基础,包括CFD的基本概念和CFD工程应用一般流程;计算前处理,主要通过实例讲解ANSYS ICEM CFD的应用技巧;求解器,包括ANSYS FLUENT各通用计算模块应用的实例讲解;计算后处理,包括后处理结果处理软件ANSYS CFD-POST的使用技巧以及ANSYS工程优化模块Design Explorer的使用。 胡坤,博士,就职于西南石油大学机电工程学院,从事石油天然气装备研发及教学工作。拥有8年ANSYS CFD软件应用经验,曾利用CFD软件对水力旋流器、卧式螺旋分离器、水力喷砂射孔器和井喷失控灾害预测等进行过研究,熟悉ANSYS CFD软件仿真流程。 李振北,工程师,现为中国机械科学研究总院机械设计及理论专业博士研究生,就职于中石油管道检测技术有限责任公司,从事油气管道监测器设计及研发工作。
    0
    约 175,316 字历史
  • Origin 9.0科技绘图与数据分析超级学习手册

    Origin 9.0科技绘图与数据分析超级学习手册

    张建伟
    由浅入深,循序渐进:本书以初级和中级读者为对象,首先从Origin使用基础讲起,再辅以Origin在实际工作中的应用案例,帮助读者尽快掌握利用Origin绘制科技图形和进行数据处理的技能。 步骤详尽,内容新颖:本书结合作者多年的Origin使用经验与实际科研工作的应用案例,将Origin软件的使用方法与技巧详细地讲解给读者。讲解步骤详尽、内容新颖,并辅以相应的图片,使读者在阅读时一目了然,从而快速掌握书中所讲内容。 实例典型,轻松易学:通过学习实际案例的具体操作是掌握Origin好的方式。本书通过综合应用案例,透彻详尽地讲解了Origin在曲线拟合、数字信号处理、峰拟合和光谱分析、统计分析等多个方面的应用。 张建伟:专业科技工作者,熟练掌握Origin、ANSYS、ABAQUS等工程分析软件,在国内外期刊发表论文多篇。
    0
    约 163,044 字历史
  • 金融数学(第三版)

    金融数学(第三版)

    孟生旺
    本书在编写过程中,主要参考了SOA和CAS关于金融数学的考试大纲,在内容取舍上基本与金融数学的考试范围相符。但是,为了本书内容的完整性和系统性,我们也增加了一些金融数学考试大纲之外的材料,如期权定价的Black-Scholes模型、二叉树模型、随机利率模型等。本书设计了较多的例题和习题,涉及大量计算和绘图。建议读者在使用本书时应用Excel完成有关的计算和绘图,尤其在衍生产品的学习过程中,Excel是非常合适的学习工具。为了便于读者学习,本书附有所有习题的参考答案。 作者:孟生旺
    0
    约 101,717 字历史
  • 科学学与科技管理的数学原理

    科学学与科技管理的数学原理

    谷兴荣
    本书分为“科学技术的结构演变理论”、“科学技术的运行机制与功能理论”和“科学技术的传播发展与评价理论”三编,共计16章。全书对科学学理论的相关问题进行了系统性的分析。科学学理论是从科学计量学分化出来的而且与经济学和管理学(特别是技术经济学,也有人称为科技经济学、科技管理学)密切相关。它是一个介于科学计量学、数量经济学和数学之间的“具有重大理论价值和实用价值的基础研究领域”。 作者:谷兴荣。
    0
    约 358,635 字历史
  • 《微积分(下册)》学习辅导与习题解答(经管类·第四版)

    《微积分(下册)》学习辅导与习题解答(经管类·第四版)

    吴赣昌
    大学数学是自然科学的基本语言,是应用模式探索现实世界物质运动机理的主要手段。对于非数学专业的学生而言,大学数学的教育,其意义则远不仅仅是学习一种专业的工具而已。事实上,在大学生涯中,就提高学习基础、提升学习能力、培养科学素质和创新能力而言,大学数学是最有用且最值得你努力的课程。 作者:吴赣昌
    0
    约 13,548 字历史
  • 经济应用数学基础(二):线性代数(第四版)学习参考

    经济应用数学基础(二):线性代数(第四版)学习参考

    赵树嫄等
    《经济应用数学基础2:线性代数(第4版)学习参考》给出了较多的单项选择题,单项选择题是答案唯一且不要求考核推理步骤的题型,因此,不论用什么方法(诸如排除法、图形法、计算法、逐项检查法,等等),只要能找出正确选项即可。在必须使用逐项检查法时,只要检查到符合题目要求的选项,即可得出答案,停止检查,不必将所有选项全部检查完。但是选择题的各个选项,恰恰是概念模糊、不易辨别的内容或计算容易出错的环节,也恰恰是需要读者搞清楚的问题,所以《经济应用数学基础2:线性代数(第4版)学习参考》作为辅导书,在使用逐项检查法时,对四个选项均做了探讨,目的是使读者不仅能解答这个题目,而且能对这个题目有更全面、更准确的认识,通过总结规律,提高知识水平与解题技能。必须提醒读者,在参加考试时,一旦辨别出所要求的选项,即可停止探讨,不必继续往下讨论,以免浪费考试时间。 作者:赵树嫄。
    0
    约 0 字历史
  • 应用回归分析(第三版)

    应用回归分析(第三版)

    何晓群
    《应用回归分析(第3版)》写作的指导思想是在不失严谨的前提下,明显不同于纯数理类教材,努力突出实际案例的应用和统计思想的渗透,结合统计软件全面系统地介绍回归分析的实用方法,尽量结合中国社会经济、自然科学等领域的研究实例,把回归分析的方法与实际应用结合起来,注意定性分析与定量分析的紧密结合,努力把同行以及我们在实践中应用回归分析的经验和体会融入其中。 回归分析是统计学中一个非常重要的分支,在自然科学、管理科学和社会经济等领域有着非常广泛的应用。《应用回归分析(第3版)》是针对统计学专业和财经管理类专业教学的需要而编写的。 作者:何晓群,刘文卿。
    0
    约 119,448 字历史
  • 爱情数学

    爱情数学

    〔英〕汉娜·弗莱
    爱情和数学这两个看似不相关的东西,怎么会扯在一起?的确,不同于数学公式,人类情感并不是整齐有序或循规蹈矩的。然而这并不意味着数学就派不上用场。数学研究的是规律。所幸的是,爱也充满规律——不论是一生伴侣的数量,还是在交友网站上如何选择与谁通信。这些规律都可以通过数学这个独特视角来解释。在《爱情数学》中,汉娜·弗莱博士带领读者踏上奇妙的旅程,用数学揭秘我们爱情生活的模式,用数学探索最常见、最复杂的爱情问题:找到真爱的概率有多大?网络交友靠谱吗?博弈理论可以帮助我们决定该跟谁搭讪吗?约会多久后该决定结婚?与爱人发生争执时,什么时候该妥协?如何避免离婚?从评估网络交友的最佳策略,到定义模糊的“美丽”理念,汉娜博士用趣味性十足的方式,向读者展示了数学在帮你寻找真爱过程中的神奇作用。 汉娜博士是一位数学家、伦敦大学“高级空间分析”伦敦所复杂性科学专家。作者还会定期出现在BBC国际Youtube频道“Headsqueeze”栏目的数据中心。她第一次TED演讲在全部TED频道有超过500000浏览量。
    3
    约 37,155 字历史
  • 数学与逻辑

    数学与逻辑

    于雷
    《数学与逻辑》包含欧美等西方国家进行逻辑思维能力训练时常用的七个方面的测试内容,即数学运算、概念与定义判断、逻辑判断与推理、言语理解与表达、数字推理、类比推理和图形推理。 《数学与逻辑》针对这些测试,详细介绍训练逻辑思维能力的题型、方法及一些解题技巧,并配以大量的练习题目来有意识地训练和加强我们的逻辑思维能力,使我们的工作、学习及生活更有规律性、目的性和秩序性。
    0
    约 143,490 字历史