CS 486 |
Applied Logic |
Spring 2005 |
OverviewThis is a course on logic, from the point of view of Computer Science. The driving idea is to use CS background as a springboard to get deep into parts of logic by recasting them in CS terms. This is a CS course that shows how logic is an integral part of CS (AI, systems, program verification, programming languages), and CS recasts large parts of logic in its own terms: computability, specification, verification, model checking, intelligent systems, automated reasoning. Topics covered include propositional calculi, predicate calculi, formal number theory, programming logics. Instructors:
Time: Tue/Thu 10:10-11:25am Location: HO 306
|
AnnouncementsMay 5: I finally received the information about the final. It is Tuesday, May 17th, 9am-11:30am, in Upson 111. It is an open book exam. Apr 28: Eighth homework posted, due May 5. Apr 17: Seventh homework posted, due April 26. Furthermore, the lecture on April 19 is cancelled, as I am out of town. Apr 10: The lecture on Tuesday, April 12, is cancelled, as I am out of town in Chicago; see you Thursday
|
|||
Administration |
Resources
|