計(jì)算機(jī)算法--關(guān)于離散數(shù)學(xué)(已修改)
2025-04-28 23:05 本頁面
【正文】 關(guān)于離散數(shù)學(xué) —計(jì)算科學(xué)最主要的基礎(chǔ) PP8894， 構(gòu)造性數(shù)學(xué)基礎(chǔ)（數(shù)理 邏輯、代數(shù)系統(tǒng)、圖論、集合論等） PP101104， 計(jì)算科學(xué)與數(shù)學(xué)和其他相關(guān)學(xué)科的關(guān)系 數(shù)理邏輯 ? 學(xué)點(diǎn)邏輯 ? 三段論推理 ? 同一律 A， 矛盾律 A∧ ～ A， 排中律 A∨ ～ A。 ? 一個(gè)哲學(xué)家來到一原始的土人部落，被土人抓住。頭人說：現(xiàn)在你說一句話，若所說的是真話，則將你帶到真神前處死，若所說的是假話，則將你帶到假神前處死。 ? 哲學(xué)家怎么辦？ ? 用數(shù)理邏輯方法來分析這一問題 A(x): x為真話 ① B: 死在真神前 ② C: 死在假神前 ③ A(x) ? B ④ ~A(x) ? C ⑤ x=“死在假神前” 可能：真話 ∨ 假話 若 A(“死在假神前” )├ C├ ~A(“死在假神前” ) 若 ~A(“死在假神前” )├ B├ A(“死在假神前” ) 非真非假，只能不死。 有一邏輯學(xué)家，誤入某部落，被拘于牢獄。酋長意欲放行，他對(duì)邏輯學(xué)家說：“今有兩門，一為自由，一為死亡，你可任開一門。為協(xié)助你脫逃，今加派兩名戰(zhàn)士，你可向其中一人提問一次。唯可慮者，此兩名戰(zhàn)士中，一名天性誠實(shí)，一名說謊成性。今后生死由你自己選擇?！边壿媽W(xué)家沉思片刻，即向一戰(zhàn)士發(fā)問，然后開門從容離去。請(qǐng)問，該邏輯學(xué)家是如何發(fā)問的？ 思考題 克里克島是希臘的一個(gè)海洋小島 ， 島上居住著許多人 。 這個(gè)島上有一個(gè)奇怪的現(xiàn)象 ， 一部分人說假話 ， 另一部分人說真話 ，令游客大傷腦筋 。 不過 ， 好在島上的居民有一個(gè)特點(diǎn) ， 說真話的人從來不說假話 ，說假話的人從來不說真話 。 一次 ， 一個(gè)游客分別向三個(gè)島上的居民問路后 ， 為了弄清楚誰說的是真話 ， 游客向三個(gè)人中的每一個(gè)人都提了一個(gè)同樣的問題：誰是說謊者 ？ 結(jié)果 A答： “ B和 C都是說謊者 ” ， B答：“ A和 C都是說謊者 ” ， C答： “ A和 B至少有一個(gè)是說謊者 ” 。 試問 ， 游客有沒有辦法弄清楚誰是說謊者 ？ ? “永恒的真理”沒有用處 – 如果天下雨，小李進(jìn)行室內(nèi)的各種
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1