小林直樹「計算と論理」ー公開講座「論理」2020

東大TV（ https://todai.tv/ ）で公開中の一部のコンテンツをこちらのYouTubeチャンネルでもご覧いただけます。
==========

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

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

★ 東京大学公開講座について
https://www.u-tokyo.ac.jp/publiclectures/index.html

トマ・ピケティ氏、マイケル・サンデル氏、アウンサンスーチー氏らの講演をはじめとして、YouTubeでは見られない動画がたくさんあります！！
★★★動画はこちらから→ https://todai.tv/ （東大TVウェブサイト）★★★

東大TV Twitter：https://twitter.com/UTokyoTV
東大TV Facebook：https://www.facebook.com/todai.tv/

運営：東京大学 大学総合教育研究センター

Видео 小林直樹「計算と論理」ー公開講座「論理」2020 канала 東大TV / UTokyo TV