COMP 409 - LOGIC IN COMPUTER SCIENCE
Long Title: LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 3
Description: Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Logical issues in computer science. Recommended Prerequisites: COMP 202 or COMP 211 or COMP 212 or COMP 280.