筑波大学 大学院 理工情報生命学術院
システム情報工学研究群 情報理工学位プログラム
問題例 離散数学と論理




問 1

\begin{align} 0 \ \mathrm{mod} \ 4 = 4 \ \mathrm{mod} \ 4 \end{align} なので、 \begin{align} E_4 = \left\{ \langle 0, 0 \rangle, \langle 1, 1 \rangle, \langle 2, 2 \rangle, \langle 3, 3 \rangle, \langle 4, 4 \rangle, \langle 0, 4 \rangle, \langle 4, 0 \rangle \right\} \end{align} である。

問 2

(a) 対称的

(b) $ \langle y, z \rangle $

(c) $ \langle x, z \rangle $