作者查詢 / turboho

總覽項目：發文 | 留言 | 暱稱

作者 turboho 在 PTT 全部看板的留言(推文), 共263則

限定看板：全部

首頁

尾頁

Re: [其他] 邏輯中的"定義"該怎麼寫？

[ Math ]66 留言, 推噓總分: +8

作者: xcycl - 發表於 2013/04/17 06:24(12年前)

2^F推turboho:補充一下第四點，我想你說的是open formula，至少我04/17 10:46

3^F→turboho:認知中的sentence就是沒有free variable的04/17 10:46

4^F→turboho:如果是的話，那一個structure只能夠符合某些sentence04/17 10:47

5^F→turboho:說一個structure符合一個open formula是沒有意義的，04/17 10:47

6^F→turboho:因為那些free variables在structure中沒有04/17 10:47

7^F→turboho:interpretation，也就沒有所謂的真假值04/17 10:48

8^F→turboho:結論來說，你在書上看到的theorem應該都要是sentence04/17 10:48

9^F→turboho:而不能是open formula04/17 10:48

10^F→turboho:不過有些書也不會嚴僅的寫一個structure符合某個open04/17 10:49

11^F→turboho:formula，然後把那些free variable理解成有個04/17 10:49

12^F→turboho:universal quantifier在前面…但那就不是個標準的寫04/17 10:49

13^F→turboho:法04/17 10:49

Re: [其他] 1=0.9999999999999... 嗎

[ Math ]16 留言, 推噓總分: +6

作者: turboho - 發表於 2013/04/06 10:53(12年前)

4^F→turboho:其實有人用類似的作法作 Lie group 的東西04/06 12:06

5^F→turboho:在 geometric group theory 中 asymptotic cone 也是04/06 12:06

6^F→turboho:ultraproduct 的一種用法04/06 12:06

Re: [其他] 1=0.9999999999999... 嗎

[ Math ]16 留言, 推噓總分: +6

作者: TassTW - 發表於 2013/04/06 00:02(12年前)

8^F推turboho:雖然塔矢想要這個討論串收斂，我還是忍不住手癢…04/06 10:57

[閒聊] 是哪招4/1中午11:30 伺服器重新啟動

[ WOW ]20 留言, 推噓總分: +10

作者: lockread - 發表於 2013/04/01 11:48(12年前)

17^F推turboho:亞雷打暴龍打到一半重啟然後暴龍就不見了04/01 12:04

[其他] 數學所的選擇

[ Math ]6 留言, 推噓總分: +3

作者: TWapostol - 發表於 2013/03/18 23:46(12年前)

3^F推turboho:高雄大學游森棚教授雖然領域不太一樣不過可以討論看03/19 12:30

4^F→turboho:看去找教授我想他也會很樂意和你談談或給你意見03/19 12:30

[代數] Set of cardinal number

[ Math ]3 留言, 推噓總分: +1

作者: emptyempty - 發表於 2013/02/04 09:41(13年前)

1^F推turboho:the set of cardinal number is a proper class02/04 09:46

2^F→turboho:not a set02/04 09:46

3^F→turboho:the proof is exactly what you said + Foundation02/04 09:47

[情報] 徵IMO家教

[ IMO_Taiwan ]9 留言, 推噓總分: +4

作者: LimSinE - 發表於 2013/01/13 21:20(13年前)

1^F推turboho:有找過師大附中的王世豪老師嗎？01/14 22:41

2^F推turboho:另外雖然我人不在國內，但有需要我能幫的上忙的話也ok01/14 22:48

3^F→turboho:忘記說我也是附中的 XD01/14 22:48

5^F推turboho:我說的不是遠距教學啦，解題的話我現在也不確定行不行，01/21 00:12

6^F→turboho:而且我也只是候補一不是國手 XD01/21 00:12

7^F→turboho:我是指如果有我能幫的上的忙，或只是想認識一下附中學長，01/21 00:13

8^F→turboho:可以找我聊聊 XD01/21 00:13

[其他] 離散-交換性

[ Math ]16 留言, 推噓總分: +2

作者: enid3228 - 發表於 2013/01/13 17:26(13年前)

1^F推turboho:因為有交換性，所以基本上就是要指定f(1,1)=?，01/13 17:30

3^F→turboho:f(1,2)=f(2,1)=?，f(1,3)=f(3,1)=?，…01/13 17:30

5^F→turboho:然後f(3,4)有特別的要求這樣01/13 17:30

6^F→turboho:去算算有幾個選擇要作，然後注意到這些選擇都是獨立01/13 17:30

7^F→turboho:就算乘法原理就好了01/13 17:31

[幾何] Regular Surface

[ Math ]4 留言, 推噓總分: +2

作者: TampaBayRays - 發表於 2013/01/12 23:27(13年前)

1^F推turboho:要用到(f,g)是regular plan curve吧01/13 16:06

2^F→turboho:然後參數化第二項應該是sin u不是sin v？01/13 16:07

(空白標題)

[ StarCraft ]101 留言, 推噓總分: +52

作者: hahahaha5438 - 發表於 2013/01/08 16:24(13年前)

32^F推turboho:純解不下01/08 16:59

首頁

尾頁