東京大学公開講座:論理
2020年度開講

東京大学公開講座:論理

計算と論理
小林 直樹

動画

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

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

過去の公開講座

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

講師紹介
東京大学 情報理工学系研究科 教授
※所属・役職は登壇当時のものです。

おすすめの動画