Course Catalog - 2020-2021

     

COMP 409 - ADV LOGIC IN COMPUTER SCIENCE

Long Title: ADVANCED LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 3
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
Prerequisite(s): (COMP 211 OR COMP 215) AND (COMP 182 OR COMP 280)
Description: Logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. Indeed, logic plays an important role in areas of Computer Science as disparate as artificial intelligence (automated reasoning), architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). 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/