サクサク読めて、アプリ限定の機能も多数!
Alloyで証明を確認しているのだが、証明に必要な公理の集合がハイライトされるってのがなかなか感動した。
kgbu のブックマーク 2009/09/19 01:37
有限領域での推移閉包の公理化 - ヒビルテ(2009-09-16)[logic][証明]Alloyで証明を確認しているのだが、証明に必要な公理の集合がハイライトされるってのがなかなか感動した。2009/09/19 01:37
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.tom.sfc.keio.ac.jp/~sakai2009/09/19
λ. 有限領域での推移閉包の公理化 昨日も書いたように、推移閉包は一般には一階述語論理では表現できないので、領域を有限に限定した場合でも領域のサイズの上限 n に依存した形、たとえば以下のような形でしか表...
2 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
Alloyで証明を確認しているのだが、証明に必要な公理の集合がハイライトされるってのがなかなか感動した。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
有限領域での推移閉包の公理化 - ヒビルテ(2009-09-16)
λ. 有限領域での推移閉包の公理化 昨日も書いたように、推移閉包は一般には一階述語論理では表現できないので、領域を有限に限定した場合でも領域のサイズの上限 n に依存した形、たとえば以下のような形でしか表...
2 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /