Search Results
CSC 503 Computational Applied Logic
颁厂颁听503听听Computational Applied Logic听听(3 credit hours)听听
Introduction to the conceptual and formal apparatus of mathematical logic, to mathematical concepts underlying the process of logical formalization, and to the applications of various logics across a broad spectrum of problems in computer science and artificial intelligence.
Typically offered in Fall only