lecture1 topic: Course Introduction, Goals, Background reading: Sipser §0-1.2, §3 lecture notes 2019: https://courses.engr.illinois.edu/cs579/sp2019/lectures/lecture1.pdf 2020: coming soon... code: HartmanisStearns65 pset1 pdf: https://courses.engr.illinois.edu/cs579/sp2020/psets/pset1.pdf tex: https://courses.engr.illinois.edu/cs579/sp2020/psets/pset1.tex due: 2020-02-06 2:00pm lecture2 topic: Time complexity, def of P reading: Sipser §7.1-7.2 lecture notes 2019: https://courses.engr.illinois.edu/cs579/sp2019/lectures/lecture2.pdf 2020: coming soon... lecture3 topic: Non-determinism reading: Sipser §7.3 lecture notes 2019: https://courses.engr.illinois.edu/cs579/sp2019/lectures/lecture3.pdf 2020: coming soon...