作者查詢 / suhorng

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

作者 suhorng 在 PTT [ Math ] 看板的留言(推文), 共2497則

限定看板：Math

看板排序：

全部C_Chat5350Math2497LightNovel1317C_and_CPP1232NTU423Prob_Solve337trans_math282Programming222CFantasy199NTUcourse143PLT110ck-talk103studyabroad76TOEFL_iBT75b00902HW71Grad-ProbAsk59SENIORHIGH57SMSlife48ASM44b00902xxx37Shana37GRE28NTU-Exam23Soft_Job22DoubleMajor21CSSE19Army-Sir15logic15juniorhigh14PangSir14CSCouncil13C_BOO11CKEISC10b98902xxx9Nangang8PHP8Python8b04902xxx7Gossiping7graduate6KanColle6Kyoto_Ani6b98902HW4b99902HW4b99902xxx4CS_TEACHER4CSIE_WSLAB4joke4KS98-3024LaTeX4love-vegetal4Militarylife4NTUHistory024Sub_CS4SYSOP4AC_In3b01902HW3b01902xxx3BBSmovie3CompilerDev3Fantasy3IdolMaster3NTUMG3Shokugeki3Suckcomic3Translate-CS3AfterPhD2Agr-Football2asciiart2b02902xxx2ck-inforOLD2ck60th1282CodeJob2H-GAME2Isayama2Libra2NTUMEB012NTUSA2specialman2StupidClown2SummerCourse2Ajax1ArakawaCow1ask1Aviation1B00305XXX1B00310XXX1b974060XX1b97902HW1Beauty1bi-sexual1Buddha1Buddhism1Bus1Capricornus1civil971ck58th3241ck61st1031ck61st3221ck61st3261ckbc1ComGame-Plan1CompBook1CSIE_Service1Daan1dog1DragonNest1Electronics1Evangelion1Fallinlove1FCU-EES1FinalFantasy1Gamesale1GetMarry1historia1home-sale1HSNU_11431IMO_Taiwan1Jeremy_Lin1JYPnation1KMSH_MS981KNU1Koei1KS97-3021KS97-3101LamiGirls1Linux1love1LoveLive_Sip1marriage1MCU_Talk1MH1Military1mobilesales1NCCU1NCHU-FT-1011NCHU_CsHsnu1NDHU-LF981NIHONGO1Nogizaka461NPTU1NTU_Service1ntuACCT031ntuACCT041NTUBA041NTUDMCC1NTUEE1151NTUfin061NTUMath1001NTUMEB001NTUmed001NTUSFA1NTUST_Talk1NTUT_EE496B1Pangya1part-time1PC_Shopping1PCSH96_3061piano1Pisces1pity1PuzzleDragon1Queer_drama1Railway1RakutenGirls1sex1sky1SRW1StarTrek1Stock1Suckgame1SuperBike1TakahashiRie1TOEIC1TokyoGhoul1Transfer1transgender1TTU-EE991TTU-I90B1TW-GHONOR1TWopera1uniform1Unlight1USC1VISA1Visual_Basic1Wen-Shan1Windows1WOW1WuYiFan1Yabuki1YZU_EE95B1Zhongzheng1<< 收起看板(193)

首頁

尾頁

Re: [其他] 等號需要定義 & 集合需要等號嗎?

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

作者: LimSinE - 發表於 2021/11/23 21:32(4年前)

15^F推suhorng: 是我記錯了什麼嗎.. 忽略你寫的 S 的話, 集合的定義11/24 09:27

16^F→suhorng: 跟元素的定義都沒什麼問題吧? 而你寫的是一個後設的11/24 09:28

17^F→suhorng: , 自然語言的文字而不是集合論的敘述11/24 09:28

18^F→suhorng: 這篇將後設/目標語言區分得很清楚 #1HRpMZUa (Math)11/24 09:29

Re: [其他] 等號需要定義 & 集合需要等號嗎?

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

作者: znmkhxrw - 發表於 2021/11/22 19:21(4年前)

33^F推suhorng: Type structure is a syntactic discipline for11/23 12:52

34^F→suhorng: maintaining levels of abstraction! (推文亂入)11/23 12:52

[情報] 數學家John Horton Conway死於武漢肺炎

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

作者: jackliao1990 - 發表於 2020/04/12 21:45(5年前)

11^F推suhorng: R.I.P.04/14 19:45

[其他] 為甚麼 1+1=2 要證明

[ Math ]18 留言, 推噓總分: +7

作者: china2025 - 發表於 2019/12/17 07:02(6年前)

14^F推suhorng: 不是把 1+1 叫做二, 是把 1 的 successor 叫做 212/19 12:49

15^F→suhorng: 然後可以算出 1 + 1 = (1 的 successor)12/19 12:50

16^F→suhorng: 更清晰的說: 2 是 S1 的簡寫, 3 是 S(S1) 的簡寫 ..12/19 12:51

17^F→suhorng: 然後 1 + y = Sy 以及 (Sx) + y = S(x + y)12/19 12:52

[中學] 想重造等差級數的公式，但無法通用

[ Math ]12 留言, 推噓總分: +5

作者: skycat2216 - 發表於 2018/03/12 20:18(7年前)

5^F推suhorng: @LPH: 應該就是把首項那個底抽出來, 剩下從 0 開始03/13 10:12

6^F→suhorng: 加的等差級數, 再把公差提出來剩下 0+1+2+...03/13 10:13

[代數] 為什麼方程可以這樣同除未知數

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

作者: kvf13 - 發表於 2018/01/07 23:50(8年前)

3^F推suhorng: a=b c=d, 若 c /= 0, 等量除法公理 a=b => a/c=b/c;01/08 08:29

4^F→suhorng: c=d 所以相等換相等 a/c=b/c => a/c=b/d01/08 08:29

[其他] 中間的無限大?

[ Math ]14 留言, 推噓總分: +10

作者: Giawgwan - 發表於 2017/09/30 16:31(8年前)

12^F推suhorng: 十分有趣!10/01 09:05

[其他] 一鍵轉換LaTeX數學公式

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

作者: JKLee - 發表於 2017/09/14 23:29(8年前)

1^F推suhorng: https://www.codecogs.com/latex/eqneditor.php09/14 23:53

2^F→suhorng: 用這種的偷懶也可以XD 當然本文的優點是本地執行09/14 23:54

3^F→suhorng: MathJax javascript 可以把網頁中所有 $ $ 都轉換09/14 23:54

4^F→suhorng: 成 typeset 好的樣式吧? 比一個個複製更方便美觀09/14 23:54

怎麼回事(數學家的角度)

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

作者: JI1 - 發表於 2017/09/06 10:39(8年前)

4^F推suhorng: 用數學學程式語言呀, 像 (λx.e1)e2 = e1[e2/x]09/06 21:38

[其他] 請問展開式的問題

[ Math ]27 留言, 推噓總分: +5

作者: teddyisgood - 發表於 2017/08/28 13:07(8年前)

7^F推suhorng: 你的圖片把 "9.2" 到底標在哪一個式子切掉了..08/28 17:16

8^F推suhorng: 個人直覺是想說, 以 f(x)/g(x) 來想的話,08/28 17:20

9^F→suhorng: 作多項式除法時剩下來的分子本來就可能是任意低次項08/28 17:20

10^F→suhorng: 就是 f(x)/g(x) = q(x) + r(x)/g(x) 然後 g(x) 又已08/28 17:21

11^F→suhorng: 經不能再拆解了08/28 17:21

首頁

尾頁