CSE433 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 prooftheoretic study of
constructive logic, as opposed to a modeltheoretic study of classical logic.
A prooftheoretic 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, CurryHoward isomorphism,
sequent calculus, cutelimination, classical logic, firstorder logic, and dependent types.
Prerequisites:
CSE321 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 x2386 
Office 
Engineering Building 2, Room 309 
Office Hour 
Tuesday 5pm6pm 
Teaching assistants 
±èÅÂ°æ, Taekyung Kim, strikerz@postech
±èÁøÇÏ, Jinha Kim, goldbar@postech 
[ Home
 Schedule
 Assignments
 Software
 Resources
 Students
]
gla@postech Sungwoo Park
