当前位置:首页 > 名称
大约有1,000项符合查询结果项。(搜索耗时:0.0089秒)
为您推荐: 证明责任论 title证明责任论 第5版 证明 证明责任 人性的证明 哥德尔证明
-
-
-
-
-
高等数学证明题解题方法与技巧
李重华编2013 年出版202 页ISBN:9787313095800本书是高等数学证明题习题解析。给出了历年考试中出现的证明题解析,以及相关类型习题的解析方法,旨在加强学生对证明题这一类型习题的解答能力。...
-
-
高阶逻辑辅助证明系统
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
西方经典随感诗 我无法证明岁月有脚
(英)威廉·布莱克等著;查良铮等译2013 年出版169 页ISBN:9787513533911本书共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首,情感澎湃,文字隽永,带给读者艺术的享受和生活的思考。全书中英对照,选取经典的...
-
Mbook随身读 用结果证明自己的能力
梁素娟,廉勇编著2013 年出版240 页ISBN:9787508071886每一个员工都要在证明自己的能力后,才能在企业中立足并发展。那么如何证明呢?在现代企业管理中,结果的价值导向异常明显,那么我们也就只能以结果来证明自己的价值。本书通过大量的实例与操作方法,向我们详细解析...