2009-11-01から1ヶ月間の記事一覧
大学祭のため休講:11/24 平常授業:12/1, 12/8(最終回) 授業なし:1月
日時:2009年11月27日(金)午後4時〜6時 場所:京都大学本部構内文学部校舎第二講義室 講演者:Libor Behounek & Petr Cintula (チェコ科学アカデミー) タイトル: Formal fuzzy logic 要旨: In the talk, we shall introduce formal fuzzy logic in its …
授業スライド こちらから 宿題 はなし。 参考文献 Priestの矛盾律に対する反論は、以下を参考にしてください。Doubt Truth to Be a Liar作者: Graham Priest出版社/メーカー: Oxford University Press, USA発売日: 2008/05/15メディア: ペーパーバック購入: …
前回の復習 自然数論(復習) 矛盾律 矛盾律は「正当」か? 今後の予定・成績について
授業第十五回目、本日は矛盾律の話、新しい論理規則を受け入れるとはどういうことかという話をします。
授業スライド こちらから 宿題 今回はなしとします(スライドには載っていますが)。
前回の復習 前回の宿題 証明の正規化 ダメットのharmony
授業第十四回目、本日は証明の正規化の話をします。