Facebook
CS 400 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 : 6.000
Prerequisite : Undergraduate level MATH 204 Minimum Grade of D
Corequisite : -