補講日について 補講日：8月19日（火） 場所：第9講義室 内容： 10:30-12:00 述語論理の演習 13:30-15:00 形式的自然数論Ｑ 15:30-17:00 2+2=4 本日の授業内容 授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復…

補講日程について 補講日投票結果（重複あり） 一日に3コマ集中か、3日間バラバラか 集中 18票 バラバラ 3票 補講に都合の良い日はいつか 第一候補： 8月18日（月）（8票） 8月19日（火）（8票） 第二候補： 8月14日（木）（7票） 8月15日（金）（7票） 8月2…

今日こそは授業をやります！ 補講日程について （追記します） 本日の授業 授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。 授業内容 前回の復習 宿題の…

前回授業時にお知らせしたように休講です！でも来週7/8は授業をやります！