概要
コンピュータの計算は、真偽値に関する論理演算の組み合わせで実現されています。さらに高所から眺めれば、計算を記述する「プログラム」と論理式の「証明」には表裏一体の関係が見出せます。本公演では、このような計算と論理の間の豊かな関係を垣間見ていただきます。
03:51 2進数と真偽値
08:17 足し算の実現
13:00 証明≒プログラム？
28:00 そもそも証明とは？
35:34 構成的プログラミング
★ 過去の公開講座
★あなたのシェアが、ほかの誰かの学びに繋がるかもしれません。
お気に入りの講義・講演があればSNSなどでシェアをお願いします。
講師紹介
小林 直樹
東京大学
情報理工学系研究科 教授
※所属・役職は登壇当時のものです。
