2010-10-12から1日間の記事一覧
授業スライド・宿題 こちらから
前回の復習 前回の宿題 Inversion Principle 証明の正規化 ダメットのハーモニー 宿題
本日紹介したインバージョン原理についてはこちらが詳しいです。Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)作者: Dag Prawitz出版社/メーカー: Dover Publications発売日: 2006/03メディア: ペーパーバック購入: 1人 クリ…
授業第十五回目は、「論理結合子の意味とは何か」の続きで、前回のベルナップによる「保存拡大性」に関するメタ定理の証明の際に使用した「証明図の付け替え」という技法にスポットライトを当て、この技法を発展させた「インバージョン原理」と「証明の正規…