作者查詢 / cmlrdg

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

作者 cmlrdg 在 PTT [ logic ] 看板的發文, 共10篇

限定看板：logic

首頁

上一頁

1

下一頁

尾頁

Re: [請益] 語句翻譯的一些問題

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

作者: cmlrdg - 發表於 2011/04/29 23:45(14年前)

[請益] prenex 這個字的發音 XD

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

作者: cmlrdg - 發表於 2009/10/08 02:03(16年前)

Re: [請益] axiom system

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

作者: cmlrdg - 發表於 2009/02/08 19:39(17年前)

Re: [請益] axiom system

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

作者: cmlrdg - 發表於 2009/01/18 01:32(17年前)

Re: [請益] 建設性的兩難

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

作者: cmlrdg - 發表於 2009/01/09 13:09(17年前)

Re: [請益] 建設性的兩難

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

作者: cmlrdg - 發表於 2009/01/09 03:36(17年前)

Re: 白馬是馬，黑馬是馬，所以白馬等於黑馬？

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

作者: cmlrdg - 發表於 2009/01/04 14:31(17年前)

Re: [請益] Godel's incompleteness theorem

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

作者: cmlrdg - 發表於 2008/12/22 01:05(17年前)

Re: [請益] 一階邏輯的不可判定

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

作者: cmlrdg - 發表於 2008/12/08 15:33(17年前)

Re: [請益] 一階邏輯的不可判定

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

作者: cmlrdg - 發表於 2008/12/07 21:02(17年前)

首頁

上一頁

1

下一頁

尾頁