大约有27,674项符合查询结果项。（搜索耗时：0.2015秒）
为您推荐： 证明责任论 title证明责任论 第5版 证明 证明责任 人性的证明 哥德尔证明
-
靠谱心理学 怎样证明你是最靠谱的！
朱文波，冯俊杰著2014 年出版244 页ISBN：9787553443782聚焦现代人在社会生活中最需要面对的问题，著名作家冯俊杰精选热门案例，联手著名心理专家朱文波，为大众解读日常最容易陷入的心理学误区。本书倡导科学实证心理学，致力于普及靠谱的心理学，澄清社会流传的各种“非...
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
-
普通高中课程标准实验教科书 数学 选修4-1 几何证明选讲
人民教育出版社，课程教材研究所，中学数学课程教材研究开心中心编著2007 年出版54 页ISBN：9787107186387数学（A版选修4-1几何证明选讲）普通高中课程标准实验教科书，ISBN：9787107186387，作者：
-
数学写真集 无需语言的证明 第2季
（美）尼尔森编2014 年出版132 页ISBN：9787111466772本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...
-
数学写真集 无需语言的证明 第1季
（美）尼尔森编2014 年出版154 页ISBN：9787111447740本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...
-
刑事程序性证明理论系统研究
石浩旭著2013 年出版227 页ISBN：9787513024686长期以来，我国的刑事司法中均存在“重实体、轻程序”的倾向，使我们制度性地忽视了程序在阻却权力违法方面的功能及相关的制度建构。本书运用经济学与社会学的分析方法研究了刑事程序性证明的发生机制，并运用类...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
要件事实理论视角下民事案件证明责任分配实证分析
段文波著2014 年出版245 页ISBN：9787561552704本书以原理、案例、实证分析的模式，重点探讨了各类民事纠纷中的证明责任分配问题。主要包括知识产权纠纷中的证明责任分配实证研究、侵权纠纷中的证明责任分配实证研究、合同纠纷中的证明责任分配实证研究等...
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN：9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...