Re: [轉錄] 微軟中國研究院最新面試題

看板logic作者 (真想輕鬆一輩子)時間20年前 (2005/10/17 16:00), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串14/168 (看更多)
※ 引述《littleshan (我要加入劍道社!)》之銘言: : ※ 引述《klimt (真想輕鬆一輩子)》之銘言: : : M會是12跟6是因為你假設小強一開始就知道 所以M才會是12跟6 : : 但是問題是第二句話小強說:"我本來不知道,但是現在我知道了" : : M不可能代12跟6 : 請先同意我的第一個命題 (這應該沒什麼問題) : 「若小強知道,則小明知道」 同意 : 接下來是第二個 (應該也沒什麼問題) : 「若N=2 or N=7,則小明知道」 (命題A) 不同意 因為命題A隱含了一個前提即「小明還未開口,小強就知道生日」 把這個東西加進去才是完整的命題 : 接下來是重點 : 「M不可能為3或9」 : 證明是反證法 : 假設M為3或9,則 3/2, 3/7, 9/2, 9/7 四組生日中至少有一組存在 : 否則命題A無法成立。但這四組生日全部不存在,意即 : 「若N=2 or N=7,則小明不可能知道,因為生日不存在」 : 故假設錯誤。 結論正確。 但一開始的假設就錯誤了,所以結論沒什麼好討論。 : 我從頭到尾可沒假設小強一開始就知道 有,你不自知罷了...:p -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.115.202.174 ※ 編輯: klimt 來自: 140.115.202.174 (10/17 16:03) ※ 編輯: klimt 來自: 140.115.202.174 (10/17 16:04)
文章代碼(AID): #13Kre9cm (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容:
以下文章回應了本文
完整討論串 (本文為第 14 之 168 篇):
文章代碼(AID): #13Kre9cm (logic)