USC Schedule of Classes

Spring 2015

Computer Science 581:

Logic and its Applications (3.0 units)

Formal systems, first order logic, truth, completeness, compactness, Godel incompleteness, recursive functions, undecidability. Selected applications, e.g., theorem proving, artificial intelligence, program verification, databases, computational complexity.
SectionSessionTypeTimeDaysRegisteredInstructorLocationSyllabusInfo
30297D048Lecture2:00-3:20pmMon, Wed16 of 45Leonard AdlemanSSL150feesession dates
Information accurate as of October 4, 2015 4:49 pm.
Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!