Skip to main content
TR EN

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.).
Last Offered Terms Course Name SU Credit
Fall 2024-2025 Logic in Computer Science 3
Fall 2023-2024 Logic in Computer Science 3
Fall 2021-2022 Logic in Computer Science 3
Spring 2017-2018 Logic in Computer Science 3
Fall 2016-2017 Logic in Computer Science 3
Fall 2015-2016 Logic in Computer Science 3
Fall 2014-2015 Logic in Computer Science 3
Spring 2010-2011 Logic in Computer Science 3
Spring 2007-2008 Logic in Computer Science 3
Spring 2006-2007 Logic in Computer Science 3
Prerequisite: __
Corequisite: __
ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year)
General Requirements: