Course Catalog - 2015-2016

     

COMP 409 - 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: 3
Restrictions:
May not be enrolled in one of the following Level(s):
Graduate
Prerequisite(s): (COMP 211 OR COMP 215) AND (COMP 182 OR COMP 280)
Description: Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Logical issues in computer science. Graduate/Undergraduate Equivalency: COMP 509. Mutually Exclusive: Cannot register for COMP 409 if student has credit for COMP 509.
Course URL: http://www.cs.rice.edu/~vardi/comp409/