COSE215: Theory of Computation, 2026 Spring
Course Information
- Instructor: Jihyeok Park (박지혁)
- Office: 507, IT & General Education Center (정운오IT교양관)
- Email: jihyeok_park@korea.ac.kr
- Lecture: 13:30–14:45 Mondays and Wednesdays @ B102, IT & General Education Center (정운오IT교양관)
- Teaching Assistant:
- Office hours: 14:00–16:00 Tuesdays (by appointment)
Course Materials
- Self-contained lecture notes are provided.
- Reference: Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Grading
Please use the LMS for the attendance check and the submission of homework.
- Homework: 20%
- Midterm: 30%
- Final: 40%
- Attendance: 10%
Exams
- Midterm: April 22 (Wed.) 13:30 – 14:45 (75 min.)
- Final: June 17 (Wed.) 13:30 – 14:45 (75 min.)
- Previous Exams
Policy on Academic Integrity
The use of Large Language Models (LLMs), such as ChatGPT, is permitted and encouraged. However, students remain fully responsible for the originality and comprehension of all submitted work. The following rules apply when evaluating coding assignments. Violations will be treated as academic dishonesty and will result in one of the following consequences: a grade of zero (0) on the assignment, or, in the most serious cases, an automatic grade of F for the entire course.
-
Submissions that exhibit direct copy-and-paste similarity with other students’ work, or copying with superficial or uninformed modifications, constitute academic dishonesty.
-
The instructor reserves the right to require an oral explanation of any submitted code. Inability to provide a clear, reasonable, and coherent explanation will be deemed proof that the work is not the student’s own.
Installation of Scala and sbt
Scala is a general-purpose programming language combining object-oriented and functional programming in one concise, high-level language. Scala’s static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries.
The interactive build tool sbt is built for Scala and Java projects.
Please download and install them using the following links:
- JDK >= 17 - https://www.oracle.com/java/technologies/downloads/
- sbt - https://www.scala-sbt.org/download.html
- Scala - https://www.scala-lang.org/download/