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.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30297D | 048 | Lecture | 2:00-3:20pm | Mon, Wed | 16 of 45 | Leonard Adleman | SSL150 |   |