作者:
Daniel J. Velleman
出版社: 人民邮电出版社
原作名: How to Prove It
出版年: 2009-07
页数: 396
定价: 59.00元
装帧: 平装
丛书: 图灵原版数学·统计学系列
ISBN: 9787115209689
出版社: 人民邮电出版社
原作名: How to Prove It
出版年: 2009-07
页数: 396
定价: 59.00元
装帧: 平装
丛书: 图灵原版数学·统计学系列
ISBN: 9787115209689
这本书的其他版本 · · · · · · ( 全部6 )
以下书单推荐 · · · · · · ( 全部 )
- 图灵数学 (momo)
- 待分类 (浮)
- 数学-精炼的极致 (hierro)
- 未读过的奇书 (在坡华子)
- 补一下科学知识(目前属于我的书) (斯宾诺莎的镜片)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有261人想读,手里有一本闲着?
订阅关于怎样证明数学题的评论:
feed: rss 2.0
1 有用 Usagi 2022-10-21 18:43:50 浙江
唉,要是以前上数学课以前能有一本这个书就好了。这书不是让你嗯背套路或者奇技淫巧,而是从形式逻辑出发教大家如何证明和如何去构造证明(Givens-Goal),教你如何去变化和构造子目标和转换条件(利用各个条件涉及的Theorems和Definition),其实感觉就是一个证明树,每个点是条件或者要达到的目标,枝干是广义上的映射,最后借助不同的关联达到Goal。书里的证明的内容是比较简单的,大概相当于... 唉,要是以前上数学课以前能有一本这个书就好了。这书不是让你嗯背套路或者奇技淫巧,而是从形式逻辑出发教大家如何证明和如何去构造证明(Givens-Goal),教你如何去变化和构造子目标和转换条件(利用各个条件涉及的Theorems和Definition),其实感觉就是一个证明树,每个点是条件或者要达到的目标,枝干是广义上的映射,最后借助不同的关联达到Goal。书里的证明的内容是比较简单的,大概相当于集合论的前几章那一种。这种形式化的证明其实就是Lean或者coq这样的自动化证明机的基础类的东西。 本书只有英文版而没有中文版实在是太可惜了,图灵图书仅仅是把英文版套上中文的外壳出版了,要是能翻译成中文版就好了(图灵图书的这一版比较老,没有数论证明的部分) (展开)
0 有用 CH3-CH3 2012-08-26 20:11:31
扯淡啊
1 有用 funkygroove 2017-11-07 15:14:45
【科研帝论坛 keyandi.com】有此本书的英文原版电子书下载噢