情報数学 I

第六回 (2009年11月13日)

関係

Martin J. Dürst

duerst@it.aoyama.ac.jp

http://www.sw.it.aoyama.ac.jp/2009/Math1/lecture6.html

AGU

© 2005-09 Martin J. Dürst 青山学院大学

今日の予定

前回の復習

前回の宿題

二つの変数 (例: A, B) で可能な論理関数を全て表に列挙し、それぞれの関数を NAND だけの式で書きなさい。

宿題の解き方

宿題を解くプログラム

関係

関係の情報テクノロジーでの役割

順序対、n 項組

関係の定義

関係と関数

関係の表現

逆関係

(inverse relation)

関係の合成

次回の予定