Digital Circuits


  • 逻辑:如何表达和推理信息
    • 命题逻辑、布尔代数
    • 谓词逻辑
    • 推理规则(与、或、非、蕴含等)
    • 经典应用:判断、条件控制、程序验证
  • 电路:如何实现逻辑在硬件上
    • 门电路(AND, OR, NOT, XOR)
    • 组合逻辑电路(加法器、多路选择器)
    • 时序逻辑电路(触发器、计数器、寄存器)
    • CPU、内存、总线的底层实现