Computer Science (Sci): Logic provides computer science with both a unifying foundational framework and a tool for modeling. Introduction to modern constructive logic, its mathematical properties, and its numerous applications in computer science.
Offered by: Computer Science