GCT逻辑考点归纳与快解技法速查手册

本书是辅导书。

程序员面试逻辑题解析

本书共分为3个部分。第一部分从有趣且锻炼头脑的谜题入手，继而给出解题思路和详细答案。第二部分综合了不同类型的谜题，如数独、调度问题及概率题等。神秘的第三部分带领大家不断历险，开动脑筋，解决大量密码及...

基于硬件描述语言的并行逻辑模拟系统研究与实现

本书收录了2006年上海大学博士论文52篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。

直觉主义逻辑的语义基础

本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...

概率论与数理统计同步学习辅导

本书与《概率论与数理统计》教材配套使用的同步辅导书。各章内容包括：内容提要、重点难点、疑难解答和习题详解四部分。

新编概率论与数理统计

本书分为概率论和数理统计两部分。概率论包括五章内容：随机事件及其概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律和中心极限定理；数理统计包括四章内容：样本及抽样分布、参数...

概率论与数理统计同步辅导

本书为目前使用最广的高校教材的配套辅导图书.本书以大学概率论为依据，在章节划分和内容设置上与配套教材完全一致。

概率论与数理统计

《概率论与数理统计》(修订本)是原教育部委托中国人民大学经济信息管理系赵树源教授主编的高等学校文科教材《经济应用数学基础》的第三册。它介绍了初等概率论的基本知识及数理统计的一些方法，同时还对马尔...

形式逻辑在刑侦、司法工作中的运用 资料汇编

概率论与数理统计 第3版 习题与解答

本书是教材配套的习题与解答，按照教材的顺序编排。