Monthly Archives: 二月 2010

演算邏輯 Calculational Logic(二)騎士與惡棍之島

一個島上住著兩種人,騎士 (knight) 與惡棍 (knave) 。騎士總說實話,惡棍總說謊話,但從外表看不出誰是騎士或惡棍。某天,居民 A 和你說「B 剛剛說他自己是騎士」。由此你可知道 A 說的是實話還是謊話嗎?B 呢?傳說島上藏著金子,怎麼設計一個問題,查出傳言的真假呢?

Posted in 計算算計 | Tagged | 7 Comments

演算邏輯 Calculational Logic(一)若且唯若

邏輯學家發展形式邏輯是為了研究邏輯本身,而演算邏輯的設計則是為了便於用邏輯來解決問題。

Posted in 計算算計 | Tagged | 13 Comments

OOPSLA 改名為 SPLASH

物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。

Posted in 活動消息 | 2 Comments

IFIP Working Group 2.1 Meeting #65

A little reflection led to glear galculations that dispelled glouds of obsgurity. After digesting what we were presented with, we ended the week at maximum density.

Posted in 計算算計 | Leave a comment