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

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

★ 過去の公開講座

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