CSE-490 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.
  • For each assignment you hand in, you must state on the cover page:
    • "I worked alone on this assignment," or
    • "I collaborated on this assignment with (all your classmates with whom you discussed the assignment)."
  • We discourage students from using material other than the course material provided on the course webpage. If you use outside material, you must provide all proper citations. For each assignment you hand in, you must state on the cover page:
    • "I used only the course material provided on the course webpage," or
    • "I used the following outside material to complete this assignment: (sources of outside material)."
  • You should never post code relevant to assignments to the discussion board.
  • 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.
  • Do not try to outsmart the teaching staff with some, perhaps ingenious, tricks. Instead invest your time in the assignment!
  • Policy on cheating:
    1. Both copier and copyee will be equally punished.
    2. For cheating even once, you will be expelled from class and be given an F.
    3. You will not be allowed to retake this course after being expelled for cheating.
    4. No exception to the above policy.
   Out    Points    Assignment    Due      Solution

1    Mon Sep 4   100 (W) Rule induction [PS, PDF]
hw1-handout.tex hw1.tex defns.tex proof.sty
  Wed Sep 13 by 1:00am [PS, PDF ]
2    Mon Sep 14   100 (W) Logical equivalences [PS, PDF]
hw2-handout.tex hw2.tex defns.tex proof.sty
  Mon Sep 25 by 1:00am [PS, PDF ]
3    Mon Oct 9   100 (W) Normalization [PS, PDF]
hw3-handout.tex hw3.tex defns.tex proof.sty
  Mon Oct 16 by 1:00am
4    Fri Nov 3   100 (W) First-order logic [PS, PDF]
hw4-handout.tex hw4.tex defns.tex proof.sty
  Wed Nov 15 by 1:15pm class [PS, PDF ]
5    Wed Nov 29   100 (W) First-order logic with datatypes [PS, PDF]
hw5-handout.tex defns.tex
  Wed Dec 6 by 1:15pm class [PS, PDF ]

P = Programming, W = Written, (points) = Extra-credit

  • No late submissions will be accepted.
  • Your hand-in directory is /afs/postech.ac.kr/class/cse/cs490/handin/.

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