经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《横截面与面板数据的计量经济分析(第二版)(经济科学译丛)(上、下册)》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理:横截面数据和面板数据。本书同时涵盖了线性和非线性模型,包括含有动态性和/或个体异质性的模型。除了一般估计框架(特别是矩方法与极大似然法)外,还详细介绍了一些特定的线性与非线性方法,包括probit和lo...详情
经典好书《数学分析中的典型问题与方法(第3版)》读书内容简介:学分析(微积分)的学生、准备报考研究生的读者以及从事这方面教学工作的教师编写的参考书籍。该书自1993年首次出版以来,历经25年,一直得到读者的热情赞赏和推崇。该书的中心内容是全面、系统地回答:数学分析到底有哪些基本问题?每类问题有哪些...详情
数学爵士乐 书籍
经典好书《数学爵士乐》读书内容简介:书,将一位教授对宇宙中隐藏的数学结构的理解以及一名诙谐的喜剧演员对事物的奇特感受融合到了一起。猴子通过随机敲击得到哈姆雷特的完整手稿,可能性多大?当无数个疲惫的棒球队员出现在一个无穷大的旅馆时会发生什么?如果他们的经理也跟着出现呢?有没有可能不脱掉裤...详情
经典好书《数据挖掘与机器学习——WEKA应用技术与实践》读书内容简介: 作者简介详情
经典好书《无数人们与无穷远方--鲁迅与左翼/上海市社会科学博士文库》读书内容简介: 作者简介详情
经典好书《音乐声学——音响、乐器、计算机音乐、MIDI、音乐厅声学原理及应用》读书内容简介: 龚镇雄1958年毕业于北京大学物理系。现任北京大学物理系教授,中央音乐学院客座教授,中国音乐家协会会员,北京大学美学与艺术研究中心副主任、音乐声学与计算机音乐研究室主任,《物理实验》杂志副主编。出版专著、教材、译著20多部,在国内外各种刊物上发表论文100多篇。作者简介详情
从大学数学走向现代数学 书籍
经典好书《从大学数学走向现代数学》读书内容简介:每专题均从大学非数学类数学教学中为微积分、常微分方程,解析几何,线性代数,概率统计的有关知识出发,以简短的篇幅,逐步延伸到现代数学中相关领域的基本知识和某些研究的前沿问题。使读者了解大学(非数学类)的数学内容与现代数学知识的联系,从而能从更高的观点和...详情
经典好书《康托的无穷的数学和哲学 - 道本》读书内容简介:。有人认为他是19世纪伟大的学者之一,有人认为他是科学的骗子与叛徒。多少年来,康托的名字就意味着论战和对立。《康托的无穷的数学和哲学(珍藏版)》集中于康托的数学理论,特别是他的集合论和超穷数理论创立的背景、发生和发展的考查上。《康托的无...详情