Course Schedule - Fall Semester 2019

     

COMP 509 001 (CRN: 11856)

ADV LOGIC IN COMPUTER SCIENCE

Long Title: ADVANCED LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Instructor: Vardi, Moshe Y.
Meeting: 9:25AM - 10:40AM TR DCH 1046 (26-AUG-2019 - 6-DEC-2019) 
Session: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 4
Course Syllabus:
Course Materials: Rice Campus Store
 
Restrictions:
Must be enrolled in one of the following Level(s):
Graduate
Section Max Enrollment: 40
Section Enrolled: 17
Total Cross-list Max Enrollment: 40
Total Cross-list Enrolled: 24
Enrollment data as of: 16-OCT-2021 4:49PM
 
Additional Fees: None
 
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
11-DEC-2019  
2:00PM - 5:00PM W DCH 1046
 
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 409. Mutually Exclusive: Cannot register for COMP 509 if student has credit for COMP 409.