本日の授業資料

授業スライド

1. こちらからダウンロード可能

参考資料

1. 授業のタネ本：Lecture note of Logic (Helmut Schwichtenberg)：
   1. ファイルはこちらから入手可能
2. いくらなんでも英語はきついので： 金子洋之氏作成の日本語資料

教科書（参考）

記号論理入門 (哲学教科書シリーズ)

情報科学における論理 (情報数学セミナー)