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