作者查詢 / turboho

總覽項目: 發文 | 留言 | 暱稱
作者 turboho 在 PTT [ logic ] 看板的留言(推文), 共5則
限定看板:logic
首頁
上一頁
1
下一頁
尾頁
[請益] 表示 Reflexive Transitive Closure
[ logic ]13 留言, 推噓總分: +4
作者: freef1y3 - 發表於 2015/09/01 16:55(10年前)
9Fturboho: 你給的 sentence 不等價於 R* 是 R 的 ref. trns. clos.09/02 01:17
10Fturboho: 考慮 R*(x,y) for every x,y and R(x,y) for x=y09/02 01:18
11Fturboho: 在 stackexchange http://goo.gl/u7X5Iu 有人問過了,下09/02 01:22
12Fturboho: 面有人回答,你可以去看看09/02 01:23
[討論] 關于構造邏輯
[ logic ]56 留言, 推噓總分: +12
作者: carelai - 發表於 2015/02/04 13:08(11年前)
56Fturboho: 回六樓,圓周率在24658601開始連續出現九個702/09 22:36
首頁
上一頁
1
下一頁
尾頁