Skip to main content
TR EN

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.).
Last Offered Terms Course Name SU Credit
Fall 2023-2024 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 2009-2010 Logic in Computer Science 3
Spring 2007-2008 Logic in Computer Science 3
Spring 2006-2007 Logic in Computer Science 3
Prerequisite: MATH 204 - Undergraduate - Min Grade D
Corequisite: __
ECTS Credit: 6 ECTS (6 ECTS for students admitted before 2013-14 Academic Year)
General Requirements: