-
この番組の放送は終了しました
計算の科学と手引き
趣味/教育
計算の科学と手引き 第14回
「タブローによる計算」
1月7日 火曜 17:15 -18:00 放送大学テレビ
1階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。
-
キーワード
タブロー
-
出演者
立教大学教授 村上 祐子
この番組の放送は終了しました
趣味/教育
「タブローによる計算」
1月7日 火曜 17:15 -18:00 放送大学テレビ
1階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。
タブロー
立教大学教授 村上 祐子