計算の科学と手引き 第14回
- 7/5 (Fri) 7:30 ～ 8:15 （45分） この時間帯の番組表
- 放送大学テレビ(Ch.231)
-
番組概要
「タブローによる計算」
番組詳細
１階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。
タブロー
立教大学教授 村上 祐子
出演者・スタッフ
最終更新日時:
「タブローによる計算」
１階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。
タブロー
立教大学教授 村上 祐子
最終更新日時:
番組内容、放送時間などが実際の放送内容と異なる場合がございます。
番組データ提供元：IPG、KADOKAWA、スカパーＪＳＡＴ
TiVo、Gガイド、G-GUIDE、およびGガイドロゴは、米国TiVo Brands LLCおよび／またはその関連会社の日本国内における商標または登録商標です。
Official Program Data Mark （公式番組情報マーク）
このマークは「Official Program Data Mark」といい、テレビ番組の公式情報である「SI(Service Information) 情報」を利用したサービスにのみ表記が許されているマークです。
© SMN Corporation. © IPG Inc. このホームページに掲載している記事・写真等 あらゆる素材の無断複写・転載を禁じます。
34）