| 1/25 |
proofs.pdf |
A note about proofs |
| 1/25 |
template.tex |
LaTeX template for assignments |
| 1/25 |
H1source.tex |
LaTeX source for homework 1 |
| 1/29 |
quiz1sol.pdf |
Quiz 1 solutions |
| 2/5 |
H2source.tex |
LaTeX source for homework 2 |
| 2/5 |
quiz2sol.pdf |
Quiz 2 solutions |
| 2/11 |
quiz3sol.pdf |
Quiz 3 solutions |
| 2/11 |
H3source.tex |
LaTeX source for homework 3 |
| 2/17 |
quiz4sol.pdf |
Quiz 4 solutions |
| 2/17 |
H4source.tex |
LaTeX source for homework 4 |
| 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. |
| 3/1 |
quiz5sol.pdf |
Quiz 5 solutions |
| 3/1 |
H5source.tex |
LaTeX source for homework 5 |
| 3/8 |
quiz6sol.pdf |
Quiz 6 solutions |
| 3/8 |
H6source.tex |
LaTeX source for homework 6 |
| 3/14 |
H7source.tex |
LaTeX source for homework 7 |
| 3/29 |
Turing36.pdf |
A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, 1936. |
| 4/11 |
H8source.tex |
LaTeX source for homework 8 |
| 4/14 |
PrelimStats.htm |
Prelim Stats |
| 4/15 |
quiz7sol.pdf |
Quiz 7 solutions |