CSE-490 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 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, Boolean/Heyting algebra, first-order logic, dependent types, linear logic, and modal logic.

Prerequisites: CSE-321 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 x-2386
Office Engineering Building 2, Room 309
Office Hour Tuesday 5pm-6pm

[ Home | Schedule | Assignments | Software | Resources | Students ] gla@postech Sungwoo Park