Week 1 知识

Watch the lecture

视频： https://www.youtube.com/watch?v=5NgNicANyqM

第 1 周知识

命题逻辑。蕴涵。推理。模型检查。归结。一阶逻辑。

讲座
- 音频
- 笔记
- 幻灯片
  - Keynote
  - PDF
- 源代码
  - 索引
  - Zip
- 字幕
- 文本
- 视频
  - CS50 视频播放器
  - MP4
    - 360p
    - 720p
    - 1080p
    - 4K
  - YouTube
测验 1
项目 1