CSE433 Logic in Computer Science  Assignments
[ Home
 Schedule
 Assignments
 Software
 Resources
 Students
]
gla@postech Sungwoo Park
Words on academic integrity
 Be sure to read the document on the disciplinary policy for this course. [PDF]
 Even when you are allowed to discuss assignments with other students,
what you hand in must be entirely your own work.
This means that
when it comes to writing your code or written solution, it must be entirely your own work.
That is, you have to write code and written solution all on your own.
Hence you should never look at your classmates' code or written solution, not to mention showing yours to them,
even if you have discussed assignments with them.
 If you use outside material, you must provide all proper citations:
 "I used the following outside material to complete this assignment: (sources of outside material)."
 If we judge that you have copied any part of other students' code or written solution,
you will be punished for cheating.
 Cheating also includes plagiarism in the sense of stealing someone else's idea.
 You should never post code relevant to assignments to the discussion board.

Out 
Points 
Assignment 
Due 

Solution 

1 
Thu  Sep  6 

100 
(W) Inductive proofs [PS, PDF]
defns.tex
hw1.tex
 
By class time, Sep 13 

[PS,
PDF]

2 
Thu  Sep  13 

100 
(P) Propositional logic [PS, PDF]
coq1.v
 
By class time, Sep 20 

coq1sol.v 
3 
Thu  Sep  20 

100 
(P) Negation and classical logic [PS, PDF]
coq2.v
 
By class time, Oct 4 

coq2sol.v 
4 
Thu  Oct  8 

100 
(P) Proof terms [PS, PDF]
coq3.v
 
By class time, Oct 16 

coq3sol.v 
5 
Thu  Oct  16 

100 
(P) Firstorder logic [PS, PDF]
coq4.v
 
By class time, Oct 23 

coq4sol.v 

6 
Tue  Nov  12 

100 
(P) Inductive datatypes and equality [PS, PDF]
coq5.v
 
By class time, Nov 20 

coq5sol.v 

7 
Tue  Nov  20 

100 (20) 
(P) Inductive predicates [PS, PDF]
coq6.v
 
By class time, Nov 27 

coq6sol.v 

8 
Tue  Nov  27 

100 
(P) Inductive proofs and complete induction [PS, PDF]
coq7.v
 
By class time, Dec 4 

coq7sol.v 


P = Programming, W = Written, (points) = Extracredit
 No late submissions will be accepted.
 Your handin directory is /afs/postech.ac.kr/class/cse/cs433/handin/.
[ Home
 Schedule
 Assignments
 Software
 Resources
 Students
]
gla@postech Sungwoo Park
