強制法
Information
date | version | memo |
---|---|---|
2012/10/18 | 0.1 | first |
2012/10/22 | 0.2 |
概要
強制法の勉強用まとめ
現状まとめが適当なので、その内ちゃんとしたい。
強制法
強制法資料(PDF)
http://www.google.co.jp/url?sa=t&rct=j&q=%E5%BC%B7%E5%88%B6%E6%B3%95&source=web&cd=1&cad=rja&ved=0CCQQFjAA&url=http%3A%2F%2Fevariste.jp%2Fkagami%2Fdiary%2F0000%2Fforcing-1.0.pdf&ei=IDSFUPSWKK6XmQXImYGAAw&usg=AFQjCNEhjl5eCHoZE_VVYQsHckdtMc_CrA
強制法(Wikipedia)
http://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95
前順序
1.反射律(reflexive)
2.推移律(transitive)
半順序
半順序(partially ordered set; poset)
1.広義(non-strict)
1.1.前順序
1.2.反対称律(antisymmetric)
2.狭義(strict)
2.1.非反射律(irreflexive)
2.2.非対称律(asymmetric)
2.3.推移律(transitive)
全順序
1.半順序
2.完全律(totalness)