トップ «前の日記(2008-05-01) 最新 次の日記(2008-05-04)» 月表示 編集

日々の流転


2008-05-03 憲法記念日 [長年日記]

λ. monadic logic

Monadic Logic で検索して <URL:http://www.cs.tau.ac.il/~rabinoa/logic6-1-04.pdf> というスライドを発見。 monadic logic の satisfiability が decidable であることの証明と、あと指標 {<, =} からなる有理数上の論理式がdecidableであることの証明が面白かった。

Tags: logic