作者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