Course Schedule and Catalog
Course Schedule - Fall Semester 2017
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 001 (CRN: 15071)
ADV LOGIC IN COMPUTER SCIENCE
Long Title: ADVANCED LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Instructor: Vardi, Moshe
Meeting: 9:25AM - 10:40AM TR (21-AUG-2017 - 1-DEC-2017)
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:
May not be enrolled in one of the following Level(s):
Graduate
Prerequisites: (COMP 211 OR COMP 215) AND (COMP 182 OR COMP 280)
Section Max Enrollment: 40
Section Enrolled: 1
Total Cross-list Max Enrollment: 50
Total Cross-list Enrolled: 9
Enrollment data as of: 14-MAY-2025 6:02AM
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
9-DEC-2017
9:00AM - 12:00PM S
Description: Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Logical issues in computer science. Cross-list: COMP 509. Mutually Exclusive: Cannot register for COMP 409 if student has credit for COMP 509.