(2020年9月24日改訂)
コロナの影響で2020年度前期はレジュメ＋オンデマンド動画教材＋課題提出というフォーマットで行いました。
レジュメと動画をここにまとめておきます。
YouTube再生リストのリンクです。
様相命題論理：https://www.youtube.com/playlist?list=PL54C_zUEsyCaRyfgWTZHrk67iHyExYiVG
古典述語論理：https://www.youtube.com/playlist?list=PL54C_zUEsyCajErJ_4SLcSiBdi5FCiWsP