Course Schedule and Catalog
Course Catalog - 2009-2010
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
Prerequisite(s): (COMP 202 OR COMP 211 OR COMP 212) AND COMP 280
Description: Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Logical issues in computer science.
Course URL: http://www.cs.rice.edu/~vardi/comp409/