2012-01-12から1日間の記事一覧
今日から付録Aを読みます。 A.1.1 二項関係の性質 「推移的」と「非反射的」はそれぞれ削ると他の性質を満たすことができる A.1.2 関係計算・述語論理式 「非空的」は例として挙がっているとおり some x, y: univ | x -> y in r 推移的 (r.r in r)は以下の述…
今日から付録Aを読みます。 A.1.1 二項関係の性質 「推移的」と「非反射的」はそれぞれ削ると他の性質を満たすことができる A.1.2 関係計算・述語論理式 「非空的」は例として挙がっているとおり some x, y: univ | x -> y in r 推移的 (r.r in r)は以下の述…