作者saltlake (SaltLake)
看板Math
标题[其他] 逻辑跟证明
时间Wed Apr 8 04:13:14 2020
提到数理逻辑,大约就是想到下面几个基本的表达式:
甲且乙;甲或乙;若甲则乙;甲若且惟若乙等等
但是这些表达式跟协助我们证明数学命题的关系不太明
朗。比方说怎样用逻辑表达式协助我们证明微积分、线
性代数等学科里面的各种引理和定理? 似乎在证明的过
程当中不太能感觉用到那些逻辑表达式。
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.44.245.133 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1586290396.A.32A.html
1F:推 Ciolos : 逆否命题证法或者反证法都会需要用到吧,要把定理转 04/08 12:37
2F:→ Ciolos : 成逻辑表述再去找逆否命题,有时候比较好证 04/08 12:37
3F:→ chemmachine : 所有大学数学课本都是用逻辑语句堆砌而成。没有一句 04/13 08:53
4F:→ chemmachine : 不在推理范围。通通模仿几何原本 04/13 08:54
5F:→ chemmachine : 数学导论有完整说明 04/13 08:54
下面这本书?
数学导论
作者: 库兰特,罗宾士合着
新功能介绍
出版社:水牛
新功能介绍
出版日期:1992/02/15
※ 编辑: saltlake (114.44.199.94 台湾), 04/13/2020 19:28:17
6F:推 chemmachine : richard courant 是大师,他的书都是好的。那本书 04/13 21:11
7F:→ chemmachine : 看了一下目录,比较偏什麽都讲一些的高微不是数导。 04/13 21:11
8F:→ chemmachine : 书名英 04/13 21:11
9F:→ chemmachine : 文是what is mathemstics 数学导论是误译。 04/13 21:11
10F:→ chemmachine : set theory and related topics ,schaum 系列的推 04/13 21:11
11F:→ chemmachine : 荐。属於集合 04/13 21:11
12F:→ chemmachine : 论。数导我是看a gate way to higher mathematics 04/13 21:11
13F:→ chemmachine : 这本网路上没有。 04/13 21:11
14F:→ chemmachine : 以上两本都有难度,自修我觉得很辛苦,因为以前上 04/13 21:11
15F:→ chemmachine : 完的感觉是”蛤” 04/13 21:11
16F:→ chemmachine : 会将peano space 讲很多怪异的证 04/13 21:11
17F:→ chemmachine : 明建构实数。 数学第一第二归纳法,反证法,1对1ont 04/13 21:11
18F:→ chemmachine : o 函数 relation这些 还有well defined increasing 04/13 21:11
19F:→ chemmachine : decreasing 04/13 21:11
20F:→ chemmachine : least upper bound 这些 04/13 21:11
22F:→ chemmachine : 师大数学系的教材,其他老师有的更多,这里重点都 04/13 21:20
23F:→ chemmachine : 提了。 04/13 21:20
25F:→ chemmachine : 清大数学系课表的那个课程名称内容,台大最近几年没 04/13 21:23
26F:→ chemmachine : 开,并到高微去教了 04/13 21:23