作者查詢 / cmlrdg

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

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

限定看板：logic

看板排序：

首頁

尾頁

[請益] 不等號連用的問題

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

作者: rapandol - 發表於 2012/06/17 19:16(13年前)

1^F→cmlrdg:可以取x=z, x不等於y.06/17 20:07

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

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

作者: l10nel - 發表於 2011/04/30 17:15(14年前)

1^F推cmlrdg:其實modal logic好像有'可能'這個修飾字..:)04/30 22:21

Re: [請益] 該如何理解語句邏輯的公理?

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

作者: asdinap - 發表於 2009/08/23 23:24(16年前)

1^F推cmlrdg:(1)如果已經知道結果了,那為這結果冠上任何原因來解釋都對08/24 09:46

2^F→cmlrdg:(馬後炮??) 我承認我是來鬧的~ XD08/24 09:47

[請益] 12顆球找重量不同那一顆

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

作者: DarkAlex - 發表於 2009/04/02 01:02(17年前)

1^F推cmlrdg:請問重量不同的是比較輕還是比較重?04/02 02:25

2^F→cmlrdg:如果是比較輕,可以用這個方法:12個分成兩堆(各6個),取較輕04/02 02:26

3^F→cmlrdg:的那一邊,重複剛剛的做法.剩下3個時,任取其二,如果一樣重,04/02 02:26

4^F→cmlrdg:則剩下的那個就是較輕的.如果不同重,則較輕的一邊就是.情況04/02 02:27

5^F→cmlrdg:若為比較重方法一樣,只是取較重的那邊.話說這題好像之前有04/02 02:28

6^F→cmlrdg:出現過...XD 誰來回一下04/02 02:29

15^F推cmlrdg:推~ :)04/02 14:29

17^F推cmlrdg:樓上...XD04/02 15:28

21^F推cmlrdg:感謝樓上的意見跟我一致 :)04/10 02:32

Re: [請益] 芝諾悖論?

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

作者: Mathmatics - 發表於 2009/03/31 03:29(17年前)

8^F推cmlrdg:樓上專業 ;)03/31 17:07

[請益] 芝諾悖論?

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

作者: egg8400 - 發表於 2009/03/20 01:21(17年前)

14^F推cmlrdg:推樓上:)03/25 16:10

[請益] 智力測驗題目

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

作者: lalawul - 發表於 2009/03/10 00:51(17年前)

1^F推cmlrdg:這好像是個NP-complete的問題說...@@03/10 01:56

Re: [請益] 題目兩題請教

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

作者: aletheia - 發表於 2009/03/07 02:30(17年前)

6^F推cmlrdg:看板主的回應, 我笑了XD03/08 00:22

Re: [請益] 題目兩題請教

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

作者: aletheia - 發表於 2009/03/05 01:05(17年前)

1^F推cmlrdg:推版主的回應.如同我的推文,z是不是professor是undefined.03/05 01:42

2^F→cmlrdg:因此z不管是不是professor都滿足你給的句子.如此就不是題目03/05 01:43

3^F→cmlrdg:所要求的exactly 2.你給的句子包含了exactly 2和超過兩位03/05 01:45

4^F→cmlrdg:professors的情況(如同板大舉的例子),因此需要多加一些條件03/05 01:46

5^F→cmlrdg:以便"過濾"掉超過兩位的情況. :)03/05 01:46

7^F推cmlrdg:收到! XD03/06 01:16

Re: [請益] 題目兩題請教

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

作者: YuGar - 發表於 2009/03/04 23:54(17年前)

7^F推cmlrdg:回樓上,的確需要定義x不等於y.但是光這樣還不夠,如同k大所03/04 14:50

8^F→cmlrdg:言,少了exactly 2.你必須明確的指出如果還有別的professor03/04 14:52

9^F→cmlrdg:z,那麼z必然是x或y.以model的觀點來看,如果不加入前述的03/04 14:54

10^F→cmlrdg:句子,那麼z是否為professor都符合你的邏輯句子,即使z不等於03/04 14:56

11^F→cmlrdg:x或y.如此一來,不就變成可能有3個professors以上了嗎? :)03/04 14:57

首頁

尾頁