COMP 426
3 credits
Automated Reasoning

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