Course Schedule and Catalog

Department: Computer Science

Grade Mode: Standard Letter

Course Type: Lecture

Credit Hours: 3

Prerequisite(s): COMP 210 AND COMP 280

Description: LOGIC IN COMPUTER SCIENCE ***** Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Functional programming as an extension of first-order logic. Logical issues in computer science. ***** Prerequisite(s): COMP 210 and 280.