Facebook
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
ECTS Credit : 10
Prerequisite : -
Corequisite : -