#Naoki Kobayashi コンテンツ シリーズ 特集・コラム 該当数:1件 2020年 開講 40分 東京大学公開講座:論理 計算と論理 コンピュータの計算は、真偽値に関する論理演算の組み合わせで実現されています。さらに高所から眺めれば、計算を記述する「プログラム」と論理式の「証明」には表裏一体の関係が見出せます。本公演では、このような計算と論理の間の豊かな関係を垣間見ていただきます。 03:51 2進数と真偽値 08:17 足し算の実現 13:00 証明≒プログラム? 28:00 そもそも証明とは? 35:34 構成的プログラミング ★ 過去の公開講座 … HOME #Naoki Kobayashi