Course Catalog
CS 400 Logic in Computer Science | 3 Credits | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Propositional and first-order logic (soundness and completeness, incompleteness, undecidability, etc.). Logical issues in computer science (decision procedures, formal systems, definability, etc.). | |||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||
Prerequisite: MATH 204 - Undergraduate - Min Grade D | |||||||||||||||||||||||||||||||
Corequisite: __ | |||||||||||||||||||||||||||||||
ECTS Credit: 6 ECTS (6 ECTS for students admitted before 2013-14 Academic Year) | |||||||||||||||||||||||||||||||
General Requirements: | |||||||||||||||||||||||||||||||