CSE-433 Logic in Computer Science
[ Home
| Schedule
| Assignments
| Software
| Resources
| Students
]
gla@postech Sungwoo Park
| Fall 2007 |
| 박성우, Sungwoo Park |
| Lecture, Tuesday and Thursday 11:00am - 12:15pm, 정통연 143호 |
| 3 credits |
This course covers the basics of logic in computer science.
We will study various styles of formulating logic,
but the main focus of this course lies on a proof-theoretic study of
constructive logic, as opposed to a model-theoretic study of classical logic.
A proof-theoretic formalization of constructive logic serves as a foundation for type theory for programming languages,
so this course should also be interesting to those interested in type theory.
Topics to be covered include: propositional logic, natural deduction, normalization, Curry-Howard isomorphism,
sequent calculus, cut-elimination, classical logic, first-order logic, and dependent types.
Prerequisites:
CSE-321 Programming Languages,
or by permission of the instructor.
What's New?
- (Dec 18) The course is over.
- (Dec 4) Makeup lecture: in the classroom, 7:00pm, Dec 12.
- (Oct 28) Midterm solution is up.
- (Sep 27) Makeup lecture: in the classroom, 11:45am, Sep 28 - Lunch to be served!
- (Sep 6) Makeup lecture: in the classroom, Sep 7.
- (Sep 1) Welcome -- Course webpage is open!
Class Material
| Schedule |
Lecture schedule and readings |
| Assignments |
Details of assignments, due dates, and policies |
| Software |
Guides to setting up the programming environment |
| Resources |
Course resources |
Course Information
Teaching Staff
| Instructor |
박성우, Sungwoo Park |
| Contact |
gla@postech or x-2386 |
| Office |
Engineering Building 2, Room 309 |
| Office Hour |
Tuesday 5pm-6pm |
| Teaching assistants |
김태경, Taekyung Kim, strikerz@postech
김진하, Jinha Kim, goldbar@postech |
[ Home
| Schedule
| Assignments
| Software
| Resources
| Students
]
gla@postech Sungwoo Park
|