Mathematical logic was initially considered a hopelessly abstract subject ... program, logic-based computer—which is generally considered the definitive source guide for modern computer design.

Prior knowledge needed: Knowledge of assembly and C Programming, Digital Logic Design, and basic computer architecture. Students should have a first course in each of these subjects. The corresponding ...