Kleene Algebra

This site collects announcements and files related to the course Kleene Algebra, as taught by me in the Master of Logic at the ILLC in January 2022.

Announcements

• 2022-01-19: Mike pointed out an error in the homework for Lecture 4; I've updated the examples in exercise 1(a).
• 2022-01-17: Mike pointed out an error in the notes and homework for Lecture 3; I've updated the proof of Theorem 3.6.
• 2022-01-15: The list of suggested projects is now available.
• 2022-01-07: The first lecture will be next week. See you there!

Lecture notes

• Lecture #1 — 2022-01-10
• Lecture #2 — 2022-01-12
• Lecture #3 — 2022-01-14
• Lecture #4 — 2022-01-18
• Lecture #5 — 2022-01-19
• Lecture #6 — 2022-01-21
• Lecture #7 — 2022-01-24

Disclaimer: I do not make any claim to originality over the material discussed in these lecture notes. Each file should contain a section labeled "bibliographical notes", where pointers to the literature are listed. If you feel like I should credit more people, or different people, please get in touch with me and I will do my best to update the notes as soon as possible.