• 検索結果がありません。

数理工学第一 中間試験問題

N/A
N/A
Protected

Academic year: 2021

シェア "数理工学第一 中間試験問題"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

数理工学第一 中間試験問題

2005年5月31日

注意: ・それぞれの問題ごとに

1

枚の答案用紙を使用すること。

・すべての答案用紙に学籍番号、氏名、問題番号を忘れずに記入すること。

・答えは結果のみではなく、導出過程も要領よく記述すること。

問題1

1.

命題

p

と命題

q

からなる複合命題

(p → ¬q) q

がトートロジー(恒真命題)であ ることを示せ。

2. P (x, y)

を命題関数とする。

∀x, ∃y, P (x, y)

の否定を

¬P (x, y)

を用いて表せ。

問題2

1. (A B) (C B) c A C

が成り立つことを示せ。

2. f : A B

を写像、

(Q λ ) λ∈Λ

B

の部分集合族とするとき、

f −1 (

λ∈Λ Q λ ) =

λ∈Λ f −1 (Q λ )

が成り立つことを示せ。

問題3

<

から

<

への写像

f

f (x) = e −x

2 と定義する。このとき、以下のような関係となる

<

の部分集合

P, Q, R

の例を挙げよ。その例において、それぞれ不等式の両辺がどのよう な集合になるかも述べること。

1. f (P Q) 6= f (P) f (Q) 2. f (f −1 (R)) 6= R

問題4

集合

A

の直積

(A × A)

から集合

A

への写像

f

が、以下の性質を持っているとする。

 

 

• ∀x A, f (x, x) = x

• ∀x, y A, f (x, y) = f (y, x)

• ∀x, y, z A, f (f (x, y), z) = f(x, f(y, z ))

また、

A

の元

x

y

に対し、

f (x, y) = y

が成り立つとき

x y

と表記する。

1.

関係

A

における順序となっていることを示せ。

2.

上限の定義を述べた上で、

2

つの元からなる集合

{x, y}

の上限が

f(x, y)

と一致する ことを示せ。

参照

関連したドキュメント

(自分で感じられ得る[もの])という用例は注目に値する(脚注 24 ).接頭辞の sam は「正しい」と

ピアノの学習を取り入れる際に必ず提起される

優越的地位の濫用は︑契約の不完備性に関する問題であり︑契約の不完備性が情報の不完全性によると考えれば︑

一 六〇四 ・一五 CC( 第 三類の 非原産 材料を 使用す る場合 には、 当該 非原産 材料の それぞ

 筆記試験は与えられた課題に対して、時間 内に回答 しなければなりません。時間内に答 え を出すことは働 くことと 同様です。 だから分からな い問題は後回しでもいいので

難病対策は、特定疾患の問題、小児慢性 特定疾患の問題、介護の問題、就労の問題