CSE490 Logic in Computer Science
[ Home
 Schedule
 Assignments
 Software
 Resources
 Students
]
gla@postech Sungwoo Park
Fall 2006 
¹Ú¼º¿ì, Sungwoo Park 
Lecture, Monday and Wednesday 13:15pm  14:30pm, ¹«ÀºÀç±â³ä°ü 307È£ 
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, Boolean/Heyting algebra,
firstorder logic, dependent types, linear logic, and modal logic.
Prerequisites:
CSE321 Programming Languages,
or by permission of the instructor.
What's New?
 (Dec 20) The course is over.
 (Nov 28) Assignment 5 is out.
 (Nov 3) Assignment 4 is out.
 (Oct 8) Assignment 3 is out.
 (Sep 14) Assignment 2 is out.
 (Sep 4) Assignment 1 is out.
 (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
Lectures 
Monday and Wednesday 13:15pm  14:30pm, ¹«ÀºÀç±â³ä°ü 307È£ 
Textbook 
Course notes [PS, PDF] will be distributed.

Note 
Document on the disciplinary policy [PDF] 
Credit 
3 
Grading 
35% Assignments
25% Midterm Exam
40% Final Exam 
Midterm 
Wednesday, Oct 25, 1:15pm  2:45pm. Closed book.

Final 
Dec 20, 1pm  4pm (3 hours). Closed book.
Engineering building 109 (°øÇÐ2µ¿ 109È£)

Home 
http://www.postech.ac.kr/~gla/cs490/ 
Discussion 
telnet to pl.postech.ac.kr with id bbs 
Directories 
/afs/postech.ac.kr/class/cse/cs490/handin/ for submission of assignments

Teaching Staff
Instructor 
¹Ú¼º¿ì, Sungwoo Park 
Contact 
gla@postech or x2386 
Office 
Engineering Building 2, Room 309 
Office Hour 
Tuesday 5pm6pm 
[ Home
 Schedule
 Assignments
 Software
 Resources
 Students
]
gla@postech Sungwoo Park
