COSE215: Theory of Computation, 2024 Spring
Course Information
- Instructor: Jihyeok Park (박지혁)
- Office: 609A, Science Library Bldg (과학도서관)
- Email: jihyeok_park@korea.ac.kr
- Lecture: 13:30–14:45 Mondays and Wednesdays @ 604, Woojung Hall of Informatics (우정정보관)
- Teaching Assistant: Jungyeom Kim (김준겸)
- 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)
- Previous Exams
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 >= 8 - https://www.oracle.com/java/technologies/downloads/
- sbt - https://www.scala-sbt.org/download.html
- Scala - https://www.scala-lang.org/download/