今後の授業日程 5月24日の授業でお知らせしたように、以下の日は、都合により休講とさせて頂きます。ご迷惑をおかけしますが、よろしくお願いいたします。 5月31日 6月7日

今後の授業日程 先週授業でお知らせしたように、来週５／３１は、都合により休講とさせて頂きます。よろしくお願いいたします。 授業内容 授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則…

授業第四回目の今回は、前回やった自然演繹の⇒の導入規則・除去規則に関する補足で、前回終わらなかったスライドの解説続き（「きれいな証明」こと正規な証明など）と、否定に関する問題演習を行います。 前回配付した資料を持参して下さい！

申し訳ありませんが、講師の都合により休講とさせて頂きます。 次回は5月17日（火）の予定です。