Add 2019 Spring courses

kupl · Sep 14, 2023 · 270229d · 270229d
1 parent 75deeda
commit 270229d
Show file tree

Hide file tree

Showing 37 changed files with 52 additions and 0 deletions.
diff --git a/content/courses/_index.md b/content/courses/_index.md
@@ -33,3 +33,7 @@ weight = 60
 
 - [COSE 212: Programming Languages]({{< relref "cose212/2019/_index.md" >}})
 - [AAA 616: Program Analysis]({{< relref "aaa616/2019/_index.md" >}})
+
+## 2019 Spring
+
+- [COSE 215: Theory of Computation]({{< relref "cose215/2019/_index.md" >}})
diff --git a/content/courses/cose215/2019/_index.md b/content/courses/cose215/2019/_index.md
@@ -0,0 +1,48 @@
++++
+draft = false
+title = 'COSE215-19F'
++++
+
+# Theory of Computation, 2019 Spring
+
+## Course Information
+
+- Instructor: Hakjoo Oh
+- TAs: Seongjoon Hong and Junhee Lee (Class 02), Myungho Lee and Donghun Jeon (Class 03)
+- Lecture: 14:00-15:15 (Class 02), 15:30-16:45 (Class 03) on Mondays and Wednesdays
+
+## Textbook
+- Introduction to Automata Theory, Languages, and Computation (Third Edition)
+    {{< figure src="./book.png" width="100px" link="http://www.amazon.com/Introduction-Automata-Theory-Languages-Computation/dp/0321455363/ref=sr_1_1?ie=UTF8&qid=1456738389&sr=8-1&keywords=introduction+to+automata+theory" target="_blank" >}}
+
+## Slides
+
+- Introduction: [lec0.pdf](./slides/lec0.pdf)
+- Mathematical Preliminaries: [lec1.pdf](./slides/lec1.pdf)
+- (Part 1) Finite Automata
+    - Finite Automata: [lec2.pdf](./slides/lec2.pdf), [lec3.pdf](./slides/lec3.pdf), [lec4.pdf](./slides/lec4.pdf)
+    - Regular Expressions: [lec5.pdf](./slides/lec5.pdf), [lec6.pdf](./slides/lec6.pdf)
+    - Properties of Regular Languages: [lec7.pdf](./slides/lec7.pdf), [lec8.pdf](./slides/lec8.pdf)
+- (Part 2) Pushdown Automata
+    - Context-free languages: [lec9.pdf](./slides/lec9.pdf), [lec9-2.pdf](./slides/lec9-2.pdf), [lec10.pdf](./slides/lec10.pdf)
+    - Pushdown automata: [lec11.pdf](./slides/lec11.pdf), [lec12.pdf](./slides/lec12.pdf)
+    - Properties of Context-free Languages: [lec13.pdf](./slides/lec13.pdf), [lec14.pdf](./slides/lec14.pdf)
+- (Part 3) Turing Machines and Computability
+    - The Origin of Computer Science: [15-0.pdf](./slides/15-0.pdf)
+    - Standard Turing Machines: [lec15.pdf](./slides/lec15.pdf), [lec16.pdf](./slides/lec16.pdf)
+    - Extensions: [lec17.pdf](./slides/lec17.pdf), [lec18.pdf](./slides/lec18.pdf)
+    - Undecidability: [lec19.pdf](./slides/lec19.pdf)
+    - P, NP, and NP-completeness: [lec20.pdf](./slides/lec20.pdf)
+- Review: [lec21.pdf](./slides/lec21.pdf)
+
+## Homework
+
+- [HW 1: Finite Automata (due 4/3, in class)](./homeworks/hw1.pdf)
+- [HW 2: Regular Expressions/Languages (due 4/17)](./homeworks/hw2.pdf)
+- [HW 3: Context-free languages (due 5/22)](./homeworks/hw3.pdf)
+- [HW 4: Essay (due 6/10)](./homeworks/hw4.pdf)
+
+## Past Exams
+
+- Mid-term Exam: [2015](./exams/mid2015.pdf), [2016](./exams/mid2016.pdf), [2017](./exams/mid2017.pdf)
+- Final Exam: [2015](./exams/final2015.pdf), [2016](./exams/final2016.pdf), [2017](./exams/final2017.pdf)
diff --git a/content/courses/cose215/2019/book.png b/content/courses/cose215/2019/book.png
diff --git a/content/courses/cose215/2019/exams/final2015.pdf b/content/courses/cose215/2019/exams/final2015.pdf
diff --git a/content/courses/cose215/2019/exams/final2016.pdf b/content/courses/cose215/2019/exams/final2016.pdf
diff --git a/content/courses/cose215/2019/exams/final2017.pdf b/content/courses/cose215/2019/exams/final2017.pdf
diff --git a/content/courses/cose215/2019/exams/mid2015.pdf b/content/courses/cose215/2019/exams/mid2015.pdf
diff --git a/content/courses/cose215/2019/exams/mid2016.pdf b/content/courses/cose215/2019/exams/mid2016.pdf
diff --git a/content/courses/cose215/2019/exams/mid2017.pdf b/content/courses/cose215/2019/exams/mid2017.pdf
diff --git a/content/courses/cose215/2019/homeworks/hw1.pdf b/content/courses/cose215/2019/homeworks/hw1.pdf
diff --git a/content/courses/cose215/2019/homeworks/hw2.pdf b/content/courses/cose215/2019/homeworks/hw2.pdf
diff --git a/content/courses/cose215/2019/homeworks/hw3.pdf b/content/courses/cose215/2019/homeworks/hw3.pdf
diff --git a/content/courses/cose215/2019/homeworks/hw4.pdf b/content/courses/cose215/2019/homeworks/hw4.pdf
diff --git a/content/courses/cose215/2019/slides/lec0.pdf b/content/courses/cose215/2019/slides/lec0.pdf
diff --git a/content/courses/cose215/2019/slides/lec1.pdf b/content/courses/cose215/2019/slides/lec1.pdf
diff --git a/content/courses/cose215/2019/slides/lec10.pdf b/content/courses/cose215/2019/slides/lec10.pdf
diff --git a/content/courses/cose215/2019/slides/lec11.pdf b/content/courses/cose215/2019/slides/lec11.pdf
diff --git a/content/courses/cose215/2019/slides/lec12.pdf b/content/courses/cose215/2019/slides/lec12.pdf
diff --git a/content/courses/cose215/2019/slides/lec13.pdf b/content/courses/cose215/2019/slides/lec13.pdf
diff --git a/content/courses/cose215/2019/slides/lec14.pdf b/content/courses/cose215/2019/slides/lec14.pdf
diff --git a/content/courses/cose215/2019/slides/lec15-0.pdf b/content/courses/cose215/2019/slides/lec15-0.pdf
diff --git a/content/courses/cose215/2019/slides/lec15.pdf b/content/courses/cose215/2019/slides/lec15.pdf
diff --git a/content/courses/cose215/2019/slides/lec16.pdf b/content/courses/cose215/2019/slides/lec16.pdf
diff --git a/content/courses/cose215/2019/slides/lec17.pdf b/content/courses/cose215/2019/slides/lec17.pdf
diff --git a/content/courses/cose215/2019/slides/lec18.pdf b/content/courses/cose215/2019/slides/lec18.pdf
diff --git a/content/courses/cose215/2019/slides/lec19.pdf b/content/courses/cose215/2019/slides/lec19.pdf
diff --git a/content/courses/cose215/2019/slides/lec2.pdf b/content/courses/cose215/2019/slides/lec2.pdf
diff --git a/content/courses/cose215/2019/slides/lec20.pdf b/content/courses/cose215/2019/slides/lec20.pdf
diff --git a/content/courses/cose215/2019/slides/lec21.pdf b/content/courses/cose215/2019/slides/lec21.pdf
diff --git a/content/courses/cose215/2019/slides/lec3.pdf b/content/courses/cose215/2019/slides/lec3.pdf
diff --git a/content/courses/cose215/2019/slides/lec4.pdf b/content/courses/cose215/2019/slides/lec4.pdf
diff --git a/content/courses/cose215/2019/slides/lec5.pdf b/content/courses/cose215/2019/slides/lec5.pdf
diff --git a/content/courses/cose215/2019/slides/lec6.pdf b/content/courses/cose215/2019/slides/lec6.pdf
diff --git a/content/courses/cose215/2019/slides/lec7.pdf b/content/courses/cose215/2019/slides/lec7.pdf
diff --git a/content/courses/cose215/2019/slides/lec8.pdf b/content/courses/cose215/2019/slides/lec8.pdf
diff --git a/content/courses/cose215/2019/slides/lec9-2.pdf b/content/courses/cose215/2019/slides/lec9-2.pdf
diff --git a/content/courses/cose215/2019/slides/lec9.pdf b/content/courses/cose215/2019/slides/lec9.pdf