系列分集
理论计算机科学:逻辑
Great Ideas in Theoretical Computer Science: Logic (Spring 2013)
用真值表比较合取、析取和蕴涵。把一段文字改写成命题式时,可特别核对括号位置会不会改变真假条件。
Ryan O'Donnell · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Great Ideas in Theoretical Computer Science at CMU (incomplete) · 2018-12-14