COMP 509: LOGIC AND CS AND AI
Spring 2027 · Section 001 · CRN 26526
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). Cross-list: COMP 409. Mutually Exclusive: Cannot register for COMP 509 if student has credit for COMP 409.
- Credits
- 4
- Instructors
- Moshe Vardi