作者查詢 / Hseuler
作者 Hseuler 在 PTT 全部看板的留言(推文), 共1620則
限定看板:全部
看板排序:
全部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)
326F推:振聾發聵!06/30 00:33
326F推:振聾發聵!06/30 00:33
1F推:我現在正在整理優良名單和黑名單 感謝您的提醒!06/15 12:37
2F推:請修正標題06/12 21:38
18F推:"證明自動化"這件事怪怪的 例如一階算術不存在06/05 14:05
19F→:recursively enumerable公理系統06/05 14:06
20F→:所以普遍的自動定理證明器是不可能的06/05 14:07
21F推:(上面指的是完備且無矛盾的的r.e. set )06/05 14:38
1F推:推說故事高手05/29 17:28
2F推:您指的是5/24吧? 我幫您修正標題了05/22 20:24
1F推:請改正你的標題05/09 12:47
1F推:請修正標題 符合版規05/05 00:50
1F推:推05/20 16:34