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

計算の科学と手引き

趣味/教育

計算の科学と手引き 第14回

「タブローによる計算」

1月7日 火曜 17:15 -18:00 放送大学テレビ

1階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。

  • キーワード

    タブロー

  • 出演者

    立教大学教授 村上 祐子