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

「タブローによる計算」

放送局	放送大学テレビ
放送日時	2025年1月21日 6:45～7:30
放送時間	45分
ジャンル	趣味/教育、ドキュメンタリー/教養
映像	480i
EPGの時点	2025年1月19日（放送日の2日前）

詳細

番組内容: １階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。
キーワード: タブロー
出演者: 立教大学教授　村上　祐子