Integrating Logic into the Computer Science Curriculum

Abstract

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)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics