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 (ENGINEERING: / BASIC:)
General Requirements: