Course Schedule and Catalog
Course Schedule - Spring Semester 2009
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: 23203)
LOGIC IN COMPUTER SCIENCE
Long Title: LOGIC IN COMPUTER SCIENCE
Department: Computer Science
Instructor: Vardi, Moshe
Meeting: 9:25AM - 10:40AM TR (5-JAN-2009 - 17-APR-2009)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Section Max Enrollment: 20
Section Enrolled: 5
Enrollment data as of: 10-MAY-2024 9:27AM
Description: Set theoretical concepts. Propositional and first-order logic. Soundness and completeness, incompleteness, undecidability. Logical issues in computer science. Recommended Prerequisites: COMP 202 or COMP 211 or COMP 212 or COMP 280.