2020-01-21 ■ 授業のエクストラ回として、2月後半もしくは3月前半に、推件計算についての2日間WSを行います。 日程のアンケートを行うため、以下のアンケートに希望日をご記入ください。 doodle.com CAPE論理学セミナーとして開催することになります。 注意:2日間お選びください。基本、2日間連続開催としますが、場合によっては別々の日の開催となります。 後期授業第十一回目、本日は古典述語論理のモデルの話をします。 授業内容 前回の復習 古典述語論理のモデル 本日の授業資料・宿題 授業スライド 仕様資料は前回と同じです。 こちらから