数理情報学部通信。 南山の数理情報学部に居る者が送る、大学での出来事。

この夏休みを利用して
過去に私が取った授業の内容について
書いていきたいと思います☆

＜第１弾：情報数学＞

内容を大雑把に言うと（過去にも書いたけどｗ）
これは、論理的に考えるための授業です。
具体的には…

PとQというものの真偽（T／F）が決まってるときに

P　Q｜P∧Q　P∨Q　P⇒Q　　　意味：かつ∧、または∨
――――――――――――　　　　　ならば⇒、でない￢
T　T｜ T　　　　T　　　T　　　　　　　
T　F｜ F　　　　T　　　F　　　　　　　
F　T｜ F　　　　T　　　T
F　F｜ F　　　　F　　　T

P｜￢P
―――
T｜　T
T｜　F

￢（P∧Q）⇔￢P∨￢Q
￢（P∨Q）⇔￢P∧￢Q
￢（P⇒Q）⇔P∧￢Q　　（これ一つ自信ない…(^^;
￢￢P⇔P

こういうことを知った上で
応用していったり(もっと複雑な文の真偽を見たり)します。

あとは
反射的・対称的・推移的という三つの条件がそろった時に
同値であるということを学んだり。。
（詳しく、文字で説明不可能）

また
A（左側）とB（右側）の集合があったときに
　 単射　　　全射　　 全反射
　１→１　　１→１　　１→１
　２→２　　２→２　　２→２
　　　３　　　→３
　　　　　（２が３を差してる）

始集合を終集合の関連性を
（微妙に日本語が違うような気も…）
なんというかを学んだりしてました♪

こういうことを使って
これから出てくる問題を
もっと簡単且つ楽にどう取り組むかということへの
一歩ですね。。