• この番組の放送は終了しました

計算の科学と手引き

趣味/教育

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

「論理と計算」

1月22日 土曜 8:15 -9:00 放送大学on

数を表現するビットは論理的な演算という計算の対象でもある。ここでは、1階述語論理、とくに量化子(∀と∃の順番)の扱いについて説明する。

  • キーワード

    論理計算、命題論理、述語論理

  • 出演者

    立教大学教授 村上 祐子 日本科学未来館科学コミュニケーター 雨宮 崇