大约有3,518项符合查询结果项。(搜索耗时:0.0516秒)
为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
教材完全解读 选修·专题 高中数学 选修 几何证明选讲 矩阵与变换
曾祥红本册主编2007 年出版158 页ISBN:9787544801072本书双栏对照,对教材全解全析,在学科层次上力求讲深、讲透、讲出特色;注重典型案例学习,突出鲜活、典型和示范的特点
-
-
锦囊妙解创新导学专题 高中数学 数列、推理与证明
司马文,曹瑞彬丛书主编;许学龙本册主编2010 年出版161 页ISBN:9787111318439本丛书完全以每个知识点为讲解元素,结合“课标解读”、“知识清单”、“易错清单”、“点击高考”、“模拟演练”等栏目设计等。
-
心田上的百合花开 证明自己的爱情卷
行者选编2014 年出版218 页ISBN:9787539648996本书稿为“文摘视界系列”之一种,按照青少年阅读兴趣和特点,以心存美好,爱意无限为主题,通过近百篇美文故事,来激励面临困境的青少年如何正确面对困难,如何解决好成长中的诸多烦恼,旨在帮助广大青少年树立正确......
-
世纪末的证明 99断想
梁晓声著;责编:张海焘1999 年出版429 页ISBN:7801143892迄今为止,人类罅战争的方式不外乎两种——以和平制止战争和以战争制止战争。我们中国人感到,克林顿总统先生在性丑闻中夹起的尾巴,今天似乎竖得太高了。男人眼里所欣赏的女人,或多或少,总难免具有他少年时感情所...
-
正当程序中的实现真实 民事诉讼证明法理之现代阐释
邵明著2009 年出版471 页ISBN:9787503694622本书根据现代法治原理,运用民事诉讼原理,对民事诉讼证明问题做出体系阐释和专项研讨,并对我国现行民事诉讼证明制度及其运作状况做出评析且提出建言。...
-
我无法证明岁月有脚 西方经典随感诗
(英)威廉·布莱克等著;屠岸等译2017 年出版251 页ISBN:9787513590068《我无法证明岁月有脚:西方经典随感诗》共收录布莱克、彭斯、华兹华斯、拜伦、济慈、叶芝、狄金森、惠特曼、艾吕雅等自莎士比亚以降西方著名诗人的经典随感诗近40首,情感澎湃,文字隽永,带给读者艺术的享受和生...
-
挑战思维极限 勾股定理的365种证明
李迈新编著2016 年出版248 页ISBN:9787302458791本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容,许多证法思路巧妙,别具一格,对提高读者的...
-
密码学中的可证明安全性
杨波著2017 年出版216 页ISBN:9787302467229本书全面介绍可证明安全性的发展历史及研究成果,分为五章,第1章介绍可证明安全性用到的一些数学知识和基本工具,第2章介绍语义安全的公钥密码体制的定义,第3章介绍几类常用的语义安全的公钥机密体制,第4章介绍基...
