2012-01-01から1ヶ月間の記事一覧
授業スライド p.27 を参考にしてください。 レポート問題 授業スライド p.28-29 を見てください(日頃の宿題の出来に自身がある人は提出する必要はありません)。
授業なし: 1/24〜
授業スライド こちらから
前回の復習 関数によるモデル λ計算 カリー・ハワード対応 命題=証明のデータ型
授業第二十五回目、授業最終回ですが、本日はエクストラとして、カリー・ハワード対応の話です。最小論理の⇒断片について、命題は証明の集まりというアイディアをもとに、証明をλ項で表現し、⇒の導入規則がλ抽象化と、⇒の除去規則が関数適用と対応がつくこと…
前回授業スライド p.43-45 を参考にしてください。 レポート問題 前回授業スライド p.44-45 を見てください(日頃の宿題の出来に自身がある人は提出する必要はありません)。
平常授業: 1/10:古典論理の演習 1/17(最終回) :カリー・ハワード対応(エクストラ)
授業24回目の今回は古典論理に関する問題演習です。