Course Schedule - Fall Semester 2017

     

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 DCH 1042 (21-AUG-2017 - 1-DEC-2017) 
Session: 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: 7-DEC-2023 7:12AM
 
Additional Fees: None
 
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
9-DEC-2017  
9:00AM - 12:00PM S DCH 1042
 
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.