COMP 509 - ADV LOGIC IN COMPUTER SCIENCE
Long Title: ADVANCED LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 4
Must be enrolled in one of the following Level(s):
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.