Week 1 Knowledge

Video: https://www.youtube.com/watch?v=5NgNicANyqM

Week 1 Knowledge

Propositional Logic. Entailment. Inference. Model Checking. Resolution. First Order Logic.

• Lecture

  • Audio

  • Notes

  • Slides

    • Keynote
    • PDF

  • Source Code

    • Index
    • Zip

  • Subtitles

  • Transcript

  • Video

    • CS50 Video Player

    • MP4

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

    • YouTube

• Quiz 1

• Project 1