Formal Foundations of Linguistics

- Syllabus
- Survey
- Set-theoretic equalities
- Some theorems (The third one is incorrect: corrected version.)
- Truth tables
- First homework
- Laws of Statement Logic
- Rules of Inference
- Second homework
- Laws and Rules of Predicate Logic
- Laws and Rules of Modal Logic
- Third homework
- Autosegmental Well-Formedness
- Fourth homework
- Fifth homework
- Probability
- Sixth homework
- N-grams
- HMMs
- Seventh homework
- Final assignment

- LaTeX style sheet for proofs
- Finomaton is a wonderful little program for producing Finite Automaton pictures appropriate for LaTeX. (They can be exported as Metapost and then converted to postscript; requires TCL/TK.)
- Graphviz is another program for producing pictures of Finite Automata (and virtually anything else!).

Mike Hammond