Course Schedule and Catalog
Course Catalog - 2016-2017
COMP 509 - ADV LOGIC IN COMPUTER SCIENCE
Long Title: ADVANCED LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Grade Mode: Standard Letter
Language of Instruction: Taught in English
Course Type: Lecture
Credit Hours: 4
Restrictions:
Must be enrolled in one of the following Level(s):
Graduate
Description: Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Logical issues in computer science. A final project is required. Graduate/Undergraduate Equivalency: COMP 409. Mutually Exclusive: Cannot register for COMP 509 if student has credit for COMP 409.