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

「論理と計算」

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

詳細

番組内容
数を表現するビットは論理的な演算という計算の対象でもある。ここでは、１階述語論理、とくに量化子（∀と∃の順番）の扱いについて説明する。
キーワード
論理計算、命題論理、述語論理
出演者
立教大学教授　村上　祐子 日本科学未来館科学コミュニケーター　雨宮　崇