Back to the main page

Courses: CSIE 5111: Introduction to mathematical logic (Semester 1, 2015/16) CSIE 7242: Advanced topics in database theory (Semester 2, 2015/16) CSIE 3110: Formal languages and automata theory (Semester 1, 2016/17) CSIE 5118: Introduction to communication complexity (Semester 2, 2016/17) CSIE 3110: Formal languages and automata theory (Semester 1, 2017/18) CSIE 5111: Introduction to mathematical logic (Semester 2, 2017/18) CSIE 5118: Introduction to communication complexity (Semester 2, 2017/18) CSIE 3110: Formal languages and automata theory (Semester 1, 2018/19) CSIE 5111: Introduction to mathematical logic (Semester 2, 2018/19) CSIE 5118: Introduction to communication complexity (Semester 2, 2018/19) CSIE 3110: Formal languages and automata theory (Semester 1, 2019/20) CSIE 5111: Introduction to mathematical logic (Semester 2, 2019/20) CSIE 3110: Formal languages and automata theory (Semester 1, 2020/21) CSIE 5046: Topics in complexity theory (Semester 2, 2020/21) CSIE 3110: Formal languages and automata theory (Semester 1, 2021/22) CSIE 5046: Topics in complexity theory (Semester 2, 2021/22) CSIE 5046: Topics in complexity theory (Semester 2, 2022/23)

The full notes for some of the courses: CSIE 3110: Formal languages and automata theory (aut-note-all.pdf). The slides can be found here. CSIE 5111: Introduction to mathematical logic (logic-note-all.pdf) CSIE 5046: Topics in complexity theory (toc-note-all.pdf)