番組概要
「タブローによる計算」
番組詳細
１階述語論理のタブロー証明を学び、意味と記号操作の関係を学ぶ。
タブロー
立教大学教授 村上 祐子
出演者・スタッフ
Gガイド.テレビ王国 メニュー
プライバシーポリシー｜ 利用規約｜ 免責事項｜ お問い合わせ｜ 運営者情報
番組内容、放送時間などが実際の放送内容と異なる場合がございます。
番組データ提供元：IPG、KADOKAWA、スカパーJSAT
TiVo、Gガイド、G-GUIDE、およびGガイドロゴは、米国TiVo Brands LLCおよび／またはその関連会社の日本国内における商標または登録商標です。
Official Program Data Mark （公式番組情報マーク）
このマークは「Official Program Data Mark」といい、テレビ番組の公式情報である「SI(Service Information) 情報」を利用したサービスにのみ表記が許されているマークです。
このホームページに掲載している記事・写真等 あらゆる素材の無断複写・転載を禁じます。
© SMN Corporation. © IPG Inc.