計算と論理

プレイリスト

概要

コンピュータの計算は、真偽値に関する論理演算の組み合わせで実現されています。さらに高所から眺めれば、計算を記述する「プログラム」と論理式の「証明」には表裏一体の関係が見出せます。本公演では、このような計算と論理の間の豊かな関係を垣間見ていただきます。

03:51 2進数と真偽値
08:17 足し算の実現
13:00 証明≒プログラム?
28:00 そもそも証明とは?
35:34 構成的プログラミング

過去の公開講座

★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。
お気に入りの講義・講演があればSNSなどでシェアをお願いします。

講義実施日:
2020年11月7日
学部・研究科:
一般 大学生
分野:
理学/自然科学

講師紹介

小林 直樹

小林 直樹

こばやし なおき

東京大学
情報理工学系研究科 教授

※所属・役職は登壇当時のものです。

講義資料