This shows you the differences between two versions of the page.
courses:theory2020:main [2020/04/20 16:29] tsay2 [Announcements] |
courses:theory2020:main [2020/07/26 11:37] (current) tsay2 [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
=====Announcements===== | =====Announcements===== | ||
+ | * 07/03: grade report available; please send inquiries, if any, to the instructor by 5PM 07/04. | ||
+ | * 06/23: slides for Minimization of DFAs available. | ||
+ | * 06/23: notes/slides for More NP-Complete Problems available. | ||
+ | * 06/16: slides from TA sessions updated again. | ||
+ | * 06/13: slides from TA sessions updated. | ||
+ | * 06/12: slides from TA sessions: {{courses:theory2020:hw6_10.pdf|HW#6-10}}. | ||
+ | * 06/03: electronic submission of {{courses:theory2020:hw10.pdf|HW#10}} changed to hardcopy submission. | ||
+ | * 06/02: notes/slides for Time Complexity and NP-Completeness available. | ||
+ | * 06/02: {{courses:theory2020:hw10.pdf|HW#10}} due on 06/09. | ||
+ | * 06/01: we will meet in the classroom from 06/02. | ||
+ | * 05/25: {{courses:theory2020:theory2020mid_s.pdf|Suggested Solutions to Midterm Problems}} available. | ||
+ | * 05/21: due date of HW#9 extended to 06/02. | ||
+ | * 05/19: {{courses:theory2020:hw9.pdf|HW#9}} due on 05/26. | ||
+ | * 05/19: notes/slides for Reducibility available. | ||
+ | * 05/11: {{courses:theory2020:hw8.pdf|HW#8}} due on 05/19. | ||
+ | * 05/05: notes/slides for Decidability available. | ||
+ | * 04/27: {{courses:theory2020:hw7.pdf|HW#7}} due on 05/12. | ||
+ | * 04/27: notes/slides for Turing Machines available. | ||
* 04/20: the midterm exam tomorrow will be held in Room 303, Management Building 2, the room originally assigned for this class. Before the exam, there will be a discussion session from 1:20PM in the same room for last-minute questions. | * 04/20: the midterm exam tomorrow will be held in Room 303, Management Building 2, the room originally assigned for this class. Before the exam, there will be a discussion session from 1:20PM in the same room for last-minute questions. | ||
* 04/18: old exams: {{courses:theory:old_exams.zip|2000-2018}}. (Note: I didn't offer this course in 2019.) | * 04/18: old exams: {{courses:theory:old_exams.zip|2000-2018}}. (Note: I didn't offer this course in 2019.) | ||
Line 52: | Line 70: | ||
* **Midterm** (**2020/04/21**) | * **Midterm** (**2020/04/21**) | ||
*Turing Machines (2 weeks: 4/28, 5/5) [{{courses:theory2020:ch3_notes.pdf|notes}}, {{courses:theory2020:ch3_slides.pdf|slides}}] | *Turing Machines (2 weeks: 4/28, 5/5) [{{courses:theory2020:ch3_notes.pdf|notes}}, {{courses:theory2020:ch3_slides.pdf|slides}}] | ||
- | *Decidability (and Undecidability) (1 week: 5/12) [{{courses:theory2020:ch4_notes.pdf|notes}}, {{courses:theory2020:ch4_slides.pdf|slides}}] | + | *Decidability (and Undecidability) (1.5 weeks: 5/12, 5/19a*) [{{courses:theory2020:ch4_notes.pdf|notes}}, {{courses:theory2020:ch4_slides.pdf|slides}}] |
- | *Reducibility (2 weeks: 5/19*, 5/26) [{{courses:theory2020:ch5_notes.pdf|notes}}, {{courses:theory2020:ch5_slides.pdf|slides}}] | + | *Reducibility (1.5 weeks: 5/19b, 5/26) [{{courses:theory2020:ch5_notes.pdf|notes}}, {{courses:theory2020:ch5_slides.pdf|slides}}] |
- | *Time Complexity and NP-Completeness (2 weeks: 6/2, 6/9*) [{{courses:theory2020:ch7_notes_a.pdf|notes}}, {{courses:theory2020:ch7_slides_a.pdf|slides}}] | + | *Time Complexity and NP-Completeness (2 weeks: 6/2, 6/9*) [{{courses:theory2020:ch7a_notes.pdf|notes}}, {{courses:theory2020:ch7a_slides.pdf|slides}}] |
* **Final** (**2020/06/16**) | * **Final** (**2020/06/16**) | ||
- | *More about NP-Completeness and Related Topics (2 weeks: 6/23, 6/30) [{{courses:theory2020:ch7_notes_b.pdf|notes}}, {{courses:theory2020:ch7_slides_b.pdf|slides}}] | + | *More about NP-Completeness (1 week: 6/23) [{{courses:theory2020:ch7b_notes.pdf|notes}}, {{courses:theory2020:ch7b_slides.pdf|slides}}] |
+ | *Wrap-Up Discussions (1 week: 6/30) | ||
=====References===== | =====References===== | ||
*MIT OpenCourseWare: [[http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-045j-automata-computability-and-complexity-spring-2011/index.htm|Automata, Computability, and Complexity]] | *MIT OpenCourseWare: [[http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-045j-automata-computability-and-complexity-spring-2011/index.htm|Automata, Computability, and Complexity]] |