This page is currently a stub, and will be fixed during the Fall term
(famous last words).

Topic |
Comment |
PDF |

Computation | ||

Turing Machines | Turing computability. | pdf 6up |

Foundations Computability | Smn theorem, Recursion theorem. | pdf 6up |

Algorithms | Paper by Y. Moschovakis. | |

Ordinals | Rough notes. | pdf 6up |

Finite State Machines | ||

Fast Minimization | Rough notes. | pdf 6up |

Hopcroft Minimization | Paper. | |

Valmari Minimization | Paper and code. | pdf cc |

Monadic Second Order Logic | Slides. | pdf 6up |

Presburger Arithmetic | Slides. | pdf 6up |

Logic | ||

Bourbaki's Working Mathematician | Paper. | |

Sets | ||

Relations and Functions | ||

Induction | ||

Combinatorics | ||

Algebra | ||

Cellular Automata and FSRs | ||

Miscellany | ||

Ehrenfeucht-Mycielsky | Non-learning, disjunctiveness, balance. |