The aim of this module is to introduce you to the basic theorems of digital logic, present basic techniques for designing digital circuits, and provide the knowledge and understanding required to go ...

Then, after a quick review of classical propositional and first-order predicate logic, the course delves into the central meta-theorems about classical logic (such as the soundness and completeness ...