CSE-433 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 |
|
| 0 |
Tue | Sep | 1 |
|
0 |
(W) Inductive proofs [PDF]
| |
By class, Sep 8 |
|
|
| 1 |
Tue | Sep | 8 |
|
100 |
(P) Coq Programming I [coq1.v]
| |
By class, Sep 15 |
|
[parjong1.v]
|
| 2 |
Tue | Sep | 15 |
|
100 |
(P) Coq Programming II
[coq2.v]
[coq2.pdf]
| |
By class, Sep 22 |
|
[jplim2.v]
|
| 3 |
Tue | Sep | 22 |
|
100 |
(P) Coq Programming III
[coq3.v]
[coq3.pdf]
| |
By class, Sep 29 |
|
[coq3.v.zip]
|
| 4 |
Tue | Sep | 29 |
|
100 |
(P) Coq Programming IV
[coq4.v]
[coq4-2.v]
[coq4.pdf]
| |
By class, Oct 6 |
|
[coq4.v.zip]
[coq4-2.v.zip]
|
| 5 |
Tue | Oct | 6 |
|
100 |
(P) Coq Programming V
[coq5.v]
[coq5.pdf]
| |
By class, Oct 13 |
|
[coq5.v.zip]
|
| 6 |
Tue | Oct | 13 |
|
100 |
(P) Coq Programming VI
[coq6.v]
[coq6.pdf]
| |
By class, Oct 20 |
|
[coq6.v.zip]
|
| |
| | |
|
|
(P) Midterm
[midterm09.pdf]
| |
By 11am, Oct 25 |
|
|
| 7 |
Tue | Oct | 27 |
|
100 |
(P) Coq Programming VII
[coq7.v]
[coq7.pdf]
| |
By class, Nov 3 |
|
[coq7.v.zip]
|
| 8 |
Tue | Nov | 3 |
|
100 |
(W) Cut elimination [PDF]
| |
By class, Nov 10 |
|
|
| 9 |
Tue | Nov | 10 |
|
100 |
(W) Classical logic [PDF] |
|
By class, Nov 17 |
|
[hw9-sol.pdf]
|
| 10 |
Tue | Nov | 24 |
|
100 |
(P) Decision procedure [PDF]
[sources.cm,
prop.sml,
prover.sml]
|
|
By class, Dec 8 |
|
|
|
P = Programming, W = Written, (points) = Extra-credit
- No late submissions will be accepted.
- Your hand-in directory is /afs/postech.ac.kr/class/cse/cs433/handin/.
[ Home
| Schedule
| Assignments
| Software
| Resources
| Students
]
gla@postech Sungwoo Park
|