樋口三郎の授業情報@龍谷大学先端理工学部数理・情報科学課程

樋口三郎の授業情報@龍谷大学先端理工学部数理・情報科学課程

論理の言葉で語ろう

黒板の写真を

http://f.hatena.ne.jp/hig3/%E9%9B%86%E5%90%88%E4%BD%8D%E7%9B%B82007-04-12/

f:id:hig3:20070412094648j

に置きました.このリンク先のページの下の欄で質問やコメントもできます.あっこれは本当はコメントじゃなくてfavoriteにする際のコメントだからやらせな上に1回しか投稿できないのか…深い議論はダイアリー(ここ)のコメントでやれってことですね.

表示順が右からになっちゃうのはしかたないのか.

f:id:hig3:20070412094648j:image

実は予定のところまでは進みませんでした.¥forall¥exists複数重なる場合の話や,P¥vee Qの証明のやりかた(quizですね)などもカバーする予定だったのですが,来週以降解説しながらやりますね.