Course Catalog
CS 500 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: __ | |||||||||||||||||||||||||||||||
Corequisite: __ | |||||||||||||||||||||||||||||||
ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year) | |||||||||||||||||||||||||||||||
General Requirements: | |||||||||||||||||||||||||||||||