面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
概率论与数理统计同步辅导与习题全解(高教社·吴传生·第3版)
朱坤平,鲍亮,俞绍文本书主编2017 年出版268 页ISBN:9787562852162
本书是按高教社出版、吴传生主编的《经济数学——概率论与数理统计(第3版)》而编写的学习辅导与习题全解参考书。全书按教材章节进行编写,内容包括:随机事件的概率、一维随机变量及其分布、多维随机变量及其分...
中国近代各地小报汇刊 第1辑 21 群强报 21 民国6年2月-民国6年5月 影印本
孟兆臣主编;刘辉,蔡雨燕,刘悦斌副主编2010 年出版486 页ISBN:7507736403
龙永红主编2004 年出版260 页ISBN:7040143801
本系列辅助教材是教育部“高等教育面向21世纪教学内容和课程体系改革计划”的研究成果,本书是《概率论与数理统计(第二版)》的配套辅导书。整套教材由中国人民大学魏权龄教授任编写顾问,北京大学范培华教授和中...
万建平,刘次华2003 年出版401 页ISBN:7040119544
全书紧扣教材,共分九章:随机事件和概率,随机变量及分布,多维随机变量及分布,数字特征,极限定理,数理统计的基本概念,参数估计,假设检验,方差分析及回归分析。每章包括下列四个部分:1.基本要求与内容提要 ......
文都教育 余丙森 2015全国硕士研究生入学统一考试概率论与数理统计辅导讲义
文都考研命题研究中心组编;余丙森主编2014 年出版128 页ISBN:9787502261870
本书共分成了八章,每一章都对所有考点涉及的概念和原理进行了全面系统的讲解,并对问题中所涉及的重要理论以及相应的解题方法技巧作了归纳小结。让读者一目了然,并领悟精髓,达到触类旁通的效果;同时每章还为考生...
南开大学古籍与文化研究所编2010 年出版863 页ISBN:9787501339624
本书系新编大型清文总集,收清文1.2万余篇,主要选自清人文集1400余种,所选文选注重学术价值、文学价值、资料价值等。