CS 500 Logic in Computer Science
Select Term:
Propositional and first-order logic (soundness and completeness, incompleteness, undecidability, etc.). Logical issues in computer science (decision procedures, formal systems, definability, etc.).
SU Credits : 3.000
ECTS Credit : 10.000
Prerequisite :
-
Corequisite :
-