再就业优惠证和企业吸纳下岗失业人员认定证明及相关法律规定

本书收录了委托、代理合同文本以及相关的法律、行政法规、司法解释文件。

刑事诉讼证明权研究 以辩方为视角

本书是一本关于我国刑事诉讼制度中证明权问题的法学理论著作。本书的主要内容通过对证明权的基本理论问题，证明权与刑事诉讼模式的关系，证明权与无罪推定和不强迫自证其罪原则的关系，证明权与证明责任、证据收...

邦丁先生的不在场证明

《邦丁先生的不在场证明》是英国著名侦探小说大家奥斯汀·弗里曼7个经典推理短篇的结集。包括：1.首饰盒的秘密；2.邦丁先生的不在场证明；3.都市里的巨象；4.废墟中的启示；5.绿上衣；6.伯纳比夫妇；7.神秘的访客等篇目...

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

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

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

靠谱心理学 怎样证明你是最靠谱的！

聚焦现代人在社会生活中最需要面对的问题，著名作家冯俊杰精选热门案例，联手著名心理专家朱文波，为大众解读日常最容易陷入的心理学误区。本书倡导科学实证心理学，致力于普及靠谱的心理学，澄清社会流传的各种“非...

符号逻辑 语法语义和证明

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...

刑事程序性证明理论系统研究

长期以来，我国的刑事司法中均存在“重实体、轻程序”的倾向，使我们制度性地忽视了程序在阻却权力违法方面的功能及相关的制度建构。本书运用经济学与社会学的分析方法研究了刑事程序性证明的发生机制，并运用类...

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

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

要件事实理论视角下民事案件证明责任分配实证分析

本书以原理、案例、实证分析的模式，重点探讨了各类民事纠纷中的证明责任分配问题。主要包括知识产权纠纷中的证明责任分配实证研究、侵权纠纷中的证明责任分配实证研究、合同纠纷中的证明责任分配实证研究等...