計算の科学と手引き

趣味／教育

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

「タブローによる計算」

7月6日 水曜 7:30 -8:15 放送大学ｅｘ

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

  • キーワード

    タブロー

  • 出演者

    立教大学教授　村上　祐子