Course Schedule and Catalog
Course Schedule - Fall Semester 2024
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
COMP 409 002 (CRN: 16920)
ADV LOGIC IN COMPUTER SCIENCE
Long Title: ADVANCED LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Instructor: Vardi, Moshe
Meeting: 9:25AM - 10:40AM TR (26-AUG-2024 - 6-DEC-2024)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Course Materials: Rice Campus Store
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
Prerequisites: COMP 182 AND COMP 215 AND (COMP 382 OR ELEC 303 OR STAT 310 OR ECON 307 OR STAT 311 OR STAT 312 OR STAT 315 OR DSCI 301 OR CMOR 302 OR CMOR 303 OR MATH 354 OR MATH 355)
Section Max Enrollment: 40
Section Enrolled: 8
Total Cross-list Max Enrollment: 40
Total Cross-list Enrolled: 20
Enrollment data as of: 26-DEC-2024 2:02PM
Final Exam: Take-Home Exam
Final Exam Time:
14-DEC-2024
2:00PM - 5:00PM S
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). Cross-list: COMP 509. Mutually Exclusive: Cannot register for COMP 409 if student has credit for COMP 509.