作者查詢 / Hseuler

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

作者 Hseuler 在 PTT [ logic ] 看板的留言(推文), 共142則

限定看板：logic

看板排序：

全部HSNU_1142544allergy213logic142Philo-08128ChineseMed96W-Philosophy38ask-why35Emergency27Math27NTU19marvel17NTUcourse17Prob_Solve17b97902xxx16China16car-pool12DoubleMajor12b98902HW11Gossiping11NTU-Exam11trans_math11Philo-0910AntiVirus9b97902HW8Christianity8Physics8TSU8NBAEasyChat5soul5STS5SummerCourse5b98902xxx4clmusic4HSNU_11504Inference4PC_Shopping4SENIORHIGH4TransCSI4CSonline3Key_Mou_Pad3NTUBA013asciiart2C_and_CPP2dictionary2Digital_Art2FiremanLife2FLAT_CLUB2HSNU_11352Hunter2Instant_Mess2joke2NUU-EE-97A2Steam2Transfer2ASHS-95RN1ASIA-uni1ASM1b04902xxx1B97A013XX1BigPeitou1book1Broad_Band1Catholic1Celtics1ChineseChess1CMU_M501Contacts1CSHS57th3141CSIE_WSLAB1CSMU-MED951CSSE1cute1Datong1Doctor-Info1DPP1DramaTalk1Electronics1HCHS593051Health_Life1HSNU_11391HSNU_11681java1Korea1KS92-3131LCD1MATLAB1MCU_Talk1MdnCNhistory1MuBin1MuscleBeach1music1NetSecurity1Network1NEW_ROC1NFU1NTHU_COM6051NTU_BOTDorm21NTU_trans1NTUBIME103HW1NTUCHE-02-HW1NTUHistory981NTUSA1NTUST-TX-B921optical1Orzhong97cl1paranormal1Pharmacy1Philo-031Philo-071Philo-study1PLT1points1RootsnShoots1San-Ying1tale1Taurus1tellstory1TigerBlue1TKU_EE_92C1Violation1<< 收起看板(120)

首頁

尾頁

[請益] 大一法律系學生想尋找邏輯入門書籍

[ logic ]13 留言, 推噓總分: +3

作者: ejrq5785 - 發表於 2014/09/21 16:34(11年前)

3^F推Hseuler: 有一本譯作邏輯與哲學不過程度很淺10/23 10:04

4^F→Hseuler: 如果要程度深一點的中文大概只有一本書還ok10/23 10:05

5^F→Hseuler: 徐明的"符號邏輯講義"，除了有講到完備性定理以外10/23 10:06

6^F→Hseuler: 也有講到Hilbert-style proof system, 簡單的modal logic10/23 10:06

7^F→Hseuler: 徐明本身是邏輯專業在Pittsburgh拿到phd 比很多非邏輯10/23 10:28

8^F→Hseuler: 學者寫的書很好多10/23 10:28

[請益] 怎麼跟藝術系教授解釋模態邏輯..

[ logic ]1 留言, 推噓總分: 0

作者: maysmall - 發表於 2012/01/23 02:43(14年前)

1^F→Hseuler:我反而比較好奇兩者的關係01/26 20:25

Re: [請益] 模態邏輯入門

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

作者: xcycl - 發表於 2011/07/23 18:18(14年前)

1^F推Hseuler:推!!07/25 14:03

[請益] 模態邏輯入門

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

作者: JaegwonKim - 發表於 2011/07/10 18:21(14年前)

1^F推Hseuler:Modal logic by Patrick Blackburn07/10 18:47

2^F推Hseuler:還有模態邏輯大師J van Benthem最近寫的07/10 18:51

3^F→Hseuler: Modal Logic for Open Minds 中國清華大學哲學系07/10 18:52

4^F→Hseuler:請她上課時就用這本網路上可以下載07/10 18:53

5^F→Hseuler:http://fenrong.net/teaching/mljvb.pdf07/10 18:53

Re: [請益] 問問題得到甲村在哪的方法

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

作者: MathTurtle - 發表於 2010/11/01 03:52(15年前)

7^F推Hseuler:題目是說「一個人會隨機決定要說真話或假話」11/01 11:52

8^F→Hseuler:這和「一個人隨機回答」是不同的11/01 11:53

9^F→Hseuler:上者一個問題就夠了下者的確要兩次11/01 11:53

Re: [請益] 問問題得到甲村在哪的方法

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

作者: ivanos - 發表於 2010/10/31 21:47(15年前)

1^F推Hseuler:daltuku沒錯10/31 22:35

[請益] 關於邏輯電路設計的問題

[ logic ]5 留言, 推噓總分: +4

作者: NaoeKimiya - 發表於 2010/10/02 11:45(15年前)

4^F推Hseuler:這問題不是在判定論證是無效有效...10/05 23:01

5^F推Hseuler:他只是個布爾代數的問題10/05 23:06

[討論] 邏輯能力到底是天生還是後天??

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

作者: j34870b - 發表於 2010/09/06 16:53(15年前)

1^F推Hseuler:空間能力後天訓練還有機會09/06 17:14

10^F推Hseuler:例如絕對音感過了小時候就不可能了09/18 21:03

[請益] 數學演算和科學理論？

[ logic ]15 留言, 推噓總分: +6

作者: sorrows - 發表於 2010/08/25 19:50(15年前)

6^F推Hseuler:很多人都喜歡這樣說呢08/28 00:34

Re: [請益] 一個論證的有效性

[ logic ]23 留言, 推噓總分: +1

作者: yauhh - 發表於 2010/03/04 12:49(16年前)

1^F推Hseuler:一些書把數學語句當作一定真03/04 14:33

首頁

尾頁