| 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 |
| 3/8 |
H6source.tex |
LaTeX source for homework 6 |
| 3/15 |
H7source.tex |
LaTeX source for homework 7 |
| 4/7 |
Turing36.pdf |
A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, 1936. |
| 4/7 |
H8source.tex |
LaTeX source for homework 8 |
| 4/8 |
Q5solutions.pdf |
Quiz 5 solutions |
| 4/16 |
H9source.tex |
LaTeX source for homework 9 |
| 4/17 |
Q6solutions.pdf |
Quiz 6 solutions |
| 5/6 |
F16.pdf F16sol.pdf |
Practice final and solutions |