News

  • Final exam scores link
  • HW 5 scores link
  • HW 4 scores link
  • HW 3 scores link
  • The final exam will be on June 19th (Wed). The time and place are the same as when/where the lectures take place. It will be a closed-book written test. The exam will cover from lecture 8 to lecture 17. Attached are the questions and answers from the final exam in 2022 for your reference. Since the final exam in 2022 covered all the material, please refer only to the relevant portions for the final exam. exam sol
  • HW 2 scores link
  • HW 5 (due date: 6/12 (Wed))
  • HW 4 deadline extended (5/27 (Mon) -> 5/31 (Fri))
  • Due to the day off for Buddha’s Day next Wednesday (May 15th), we will conduct online classes instead of offline classes at the campus. Please click on “Weekly Learning” -> “Week 11” -> “Online Lecture on May 15th” on the LMS system to join the Zoom session during next Wednesday’s class time. Attendance will be automatically recorded if you attend more than 70% of the Zoom lecture.
  • HW 4 (due date: 5/27 (Mon))
  • Midterm scores link
  • HW 1 scores link
  • Due to the day off for Children’s Day next Monday (May 6th), we will conduct online classes instead of offline classes at the campus. Please click on “Weekly Learning” -> “Week 10” -> “Online Lecture on May 6th” on the LMS system to join the Zoom session during next Monday’s class time. Attendance will be automatically recorded if you attend more than 70% of the Zoom lecture.
  • HW 3 (due date: 5/6 (Mon))
  • The midterm exam will be on April 24th (Wed). The time and place are the same as when/where the lectures take place. It will be a closed-book written test. The exam will cover the material up to just before the exam date. Attached are the questions and answers from the final exam in 2022 for your reference. Since the final exam in 2022 covered all the material, please refer only to the relevant portions for the midterm exam. exam sol
  • HW 2 (due date: 4/17 (Wed))
  • A simple typo in Exercise 4 in HW1 has been fixed.
  • HW 1 (due date: 4/1 (Mon) (in class))
  • How to setup OCaml on Windows: kr en

Basic Information

  • Instructor: Woosuk Lee
    • Office Location: Rm#403, Eng. Bldg 3
    • Telephone: 031-400-1031
    • Email: woosuk at hanyang.ac.kr
    • Office Hours: Monday 10:00 - 12:00
  • Time & Location
    • Monday 09:00 - 10:15, 10:30 - 11:45 @ Rm 106, 4th Eng Bldg.
    • Wednesday 15:00 - 16:15 @ Rm 507, Hakyeonsan Cluster Bldg., 16:30 - 17:45 @ Rm 106, 4th Eng Bldg.
  • TA
    • Jinsang Kim (rkdfursnsqlc at gmail.com)
    • Wang Ao (waa062804 at gmail.com)

References

Slides

Grading

  • Homework: 20%
    • All homework assignments must be your own work. Copying assignments will get you 0 point for the entire HW score. A software tool for code clone detection will be used.
    • Late submissions will get penalty points (-20%)
  • Mid exam: 35%
  • Final exam: 35%
  • Attendance: 10%

Homework