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: | ||||||||||||||||||||||||||||||||||