Week 1 知識

ビデオ: https://www.youtube.com/watch?v=5NgNicANyqM

第1週 知識

命題論理。帰結。推論。モデル検査。導出。一階述語論理。

• 講義

  • 音声

  • ノート

  • スライド

    • Keynote
    • PDF

  • ソースコード

    • インデックス
    • Zip

  • 字幕

  • 文字起こし

  • ビデオ

    • CS50 ビデオプレーヤー

    • MP4

      • 360p
      • 720p
      • 1080p
      • 4K

    • YouTube

• クイズ 1

• プロジェクト 1