贪污贿赂犯罪证明结构与证据标准

作为犯罪构成要件理论通说即“四要件说”是线性的、平面的，不能很好地解决如何证明犯罪成立的问题，给侦、捕、诉、判等职能部门带来诸多困惑。本书作者研究出一种创新方法，给贪污贿赂的13个罪名分别搭建一个证...

成果引用与转载证明材料 Rasch模型在研究生入学考试质量分析中的应用

线性代数习题课教程 解题方法、技巧与证明

本书叙述了线性代数的基本概念、基本方法和基本定理。主要内容有行列式、矩阵、向量组的线性相关性，n维向量空间。线性方程组，特征值与特征向量，内积与二次型。全书共六章，约27万字。每章又分内容提要，疑难解析，....

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

有趣的哲学启蒙书 芝诺 推理与证明的故事

金英俊，明智中学二年级学生，大名鼎鼎的“悖论队长”。可谁知道他以前却是全校有名的“电脑游戏队长”。而这一切都是一场电脑故障引发出来的。在电脑发生逻辑谬误之后，金英俊和弟弟柱浩回到了古希腊，在街头认识...

高中数学题组精编 第7册 逻辑用语·数系扩充·推理与证明·导数

本书依据普通高中课程标准和全国考纲编写，兼顾主流教材，属于单元同步类教辅图书，秉承老“精编”的编写理念，沿袭老“精编”的编写风格。本册内容为逻辑用语、数系扩充、推理与证明、导数。...

数学与现代科学技术丛书 可证明安全算法与协议

本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...

书证收集与程序保障 以当事人证明权的实现为中心

本书阐述了民事诉讼中书证收集模式的沿革以及制度运行的国际趋势，探讨了文书在证据领域限制适用的情形以及在收集过程中的程序保障制度，重点对我国书证收集的现状作了实证分析，并就在我国当前的证据交换制度下...

素数分布定理与哥德巴赫猜想的证明

2000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......

线性代数、概率论与数理统计证明题500例解析

本书依据线性代数、概率论与数理统计课程教学基本要求，参考多本习题集、考研试题、数学竞赛题，选择了大量证明题，通过对比、分类、归纳、分析，找出不同题目之间的共性和差异，从而提高学生求解证明题的效率，培养.....