经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《线性代数辅导讲义》读书内容简介:义(2010版)》此次修订篇幅有所调整，除了补充、更换、编写了一些新题之外，针对同学们不太好理解，或不大注意的地方，我们在评注中增加了较多的题外话，同时也对全书的结构做了调整。《线性代数辅导讲义》是为准备考研的同学复习线性代数而编写的一本辅导讲义，由...详情

经典好书《对象-关系数据库管理系统原理与实现》读书内容简介:理系统Angel为背景，在深入分析国内外相关研究成果的基础上，针对对象-关系这种目前应用最为广泛、最为重要的数据库管理系统，论述了对象-关系数据库系统的原理与实现技术。作为国内第一本全面、系统而深入地论述对象-关系数据库管理系统设计思想与实现技术的专...详情

电视剧【十分钟速成课：数字信息导航剧情介绍】剧情介绍: 详情

经典好书《陶哲轩教你学数学》读书内容简介:青少年的角度分析数学问题，主要是数学竞赛等智力谜题，用学生的语言解释思考过程，完整展现了少年陶哲轩的解题思路。本书启发性强，既能激发学生的数学兴趣、培养思维逻辑，又能充分展现数学的魅力。天才数学家陶哲轩的数学之路：● 2岁...详情

经典好书《数学哲学》读书内容简介:，全面地阐述了同数学有关的哲学问题和立场。全书探讨了自人类开始理智活动以来所引起的哲学家思考的那些数学问题。在对历史的全面综合中，作者讨论了数学在柏拉图、亚里士多德、康德和密尔这些思想家心目中的地位，并论述了贯串整个20世纪的3种主要立场： 数学即逻...详情

经典好书《解题·成长·快乐——陶哲轩教你学数学》读书内容简介:之后，无论是老师、学生，还是家长，都会从中受益，得到启发。这是一本谈中学生怎样学数学、解数学题的书，其原版是澳籍华人数学家陶哲轩在1 5岁时完成的，是他根据自己解题经验的积累，从少年数学爱好者观察问题的角度，对一些数学竞赛题和典型的数学问题进行的分析...详情

经典好书《数学哲学》读书内容简介:版与第一版的目录随便比较一下，就可以发现它们之间既有重大差异，又有许多重复之处。总的说来，这一选本是由两种力量促成的。（1）第一版的使用者（以及第二版的可能使用者）的评论；（2）我们自己对这门学科在过去二十多年间的进展方向的认识。我们感...详情

经典好书《柏拉图哲学中的数学》读书内容简介:酷爱。这两种兴趣汇聚成为智识上完全相互作用的关系。柏拉图的数学研究有着迥异的动机、表象和结果，这来自这样的事实：他首先是哲学家，他的哲学（对数学）有着不同的运用；也来自这样的事实：他热爱数学。当柏拉图把他的注意力转向数学时，他是用哲学家...详情