この番組の放送は終了しました

noimage

記号論理学

火曜 9時45分〜10時30分

BSキャンパスex

記号論理学 第7回

  • 11月12日
  • 火曜
  • 9:45 -10:30
  • BSキャンパスex

「タブローによる妥当性のチェック(2)」

量化記号や同一性述語を含んだ推論をチェックするタブローについて解説する。

  • 出演者

    大学改革支援・学位授与機構特任教授 土屋 俊

「記号論理学」に興味がある人が
他にもチェックしている番組