Practice on Software Engineering Lecture 4/21

Practice on Software Engineering Lecture 4/21

  • 氏名 _____________________ 学籍番号 _______________

    集合

    集合 D = {j96050,j96048,j96004,j96002,j96007} は、{X | X は情報工学3年生} である。集合 E = D \/ { X | X は自分のアカウント} を要素をすべて 表示する方法で表せ。







    F = {X | Xは女性の人のアカウント} としよう。G = F /\ E を求めよ。 H = (~ F) /\ E を求めよ。









    関数

    例題に使った関数fの定義域をEとする関数f'に拡張しよう。f' 及び、f'g を集合を 使って表せ。(f,g の定義はプリントに載っている)









    論理

    j(X) を、Xが女の人のアカウントであった時に真となる述語とする。 h(X) を、X は情報工学3年生のアカウントであった時に真となる述 語とする。 集合H ( H = (~ F) /\ E ) を j(X), h(X) さらに、X= アカウントなどを含む論理式を使って表現することができる。その 論理式を示せ。







    Perl の宿題