证据法 证明负担原理与法则研究

本书讨论了证明负担原理与法则研究。

高考题库 数学 数列、不等式、推理与证明

交互式电子白板与教学革新

交互式电子白板是随着教学设备的发展、教学理念的发展而兴起的一种新的课堂教学工具，较传统黑板具有交互性、媒体性等特点。本书以当前教学中常用的SMART品牌白板为例，介绍了操作技术和相关教学设计，同时阐述...

最优设计的计算机证明与构造

诉讼证明过程分析 民事诉讼真实与事实发现

专题小课本高中数学 常用逻辑推理与证明

证据与证明 以刑事法治为视角

本书围绕着刑事证据与证明的若干前沿问题展开论述，对司法实践中的一些热点问题进行了深入分析，有一定的理论价值。

方程求解与机器证明 基于MMP的问题求解

证明方法与理论

本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：......

交互式电子白板课件制作与应用

本书围绕交互式电子白板的使用和如何制作多媒体课件这两大主题，介绍了交互式电子白板的使用和多媒体课件制作的一些基本知识，并详细介绍了多媒体课件中的文本、图像、声音、动画和视频素材的制作。...