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