1/21 |
proofs.pdf |
A note about proofs |
1/21 |
template.tex |
LaTeX template for assignments |
1/21 |
H1source.tex |
LaTeX source for homework 1 |
1/23 |
Q1solutions.pdf |
Quiz 1 solutions |
1/28 |
Q2solutions.pdf |
Quiz 2 solutions |
1/29 |
H2source.tex |
LaTeX source for homework 2 |
2/7 |
Kleene.pdf |
Proofs of (9.14)–(9.18), p. 50 |
2/7 |
H3source.tex |
LaTeX source for homework 3 |
2/11 |
Q3solutions.pdf |
Quiz 3 solutions |
2/17 |
Silva-thesis.pdf |
Silva, Kleene coalgebra. PhD thesis, Radboud University, 2010. |
2/17 |
Rutten.pdf |
Rutten, The method of coalgebra: exercises in coinduction. CWI Amsterdam, 2019. |
2/19 |
H4source.tex |
LaTeX source for homework 4 |
2/27 |
Q4solutions.pdf |
Quiz 4 solutions |
3/5 |
H5source.tex |
LaTeX source for homework 5 |
3/6 |
P16.pdf P22.pdf |
Practice prelims |