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. pdf
Ordinals Rough notes. pdf   6up
Finite State Machines
Fast Minimization Rough notes. pdf   6up
Hopcroft Minimization Paper. pdf
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. pdf
Sets
Relations and Functions
Induction
Combinatorics
Algebra
Cellular Automata and FSRs
Miscellany
Ehrenfeucht-Mycielsky Non-learning, disjunctiveness, balance. pdf