今週こそは授業をやります！ けど急用ができたらごめんなさい！授業連絡メール等に注意して下さい。 今週の授業予定 授業第七回目、本日から述語論理に入ります。量化子の初回は何故量化子なんか必要なのか、量化子∀との∃の導入の意図を説明します。数学では…

すみません、今週は… 休講です！

今回こそは やります！前回はすみません！ 教室 総合研究2号館 地下第9講義室 です。 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前回の復習 宿題の答え合わせ 演習 自然演繹：⇒, ∧, ∨ の関…

休講通知 大変申し訳ありません、先週に引き続き、6月3日は休講です！ 来週、6月10日は平常授業ができるものと信じております。