Computer science programs prepare students to construct systems. System construction requires reasoning about the interactions, capabilities, and limitations of components. A good degree program should teach students the tools that assist in these tasks. Logic is the most fundamental such tool, as industry has begun to appreciate. Software developers… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.