Lecture Notes

Lecture notes for each Topic.

Lectures are stored 4 slides on a page.
In addition to these notes, additional topics will be taught
in class for which there will be HAND-WRITTEN slides.
These will NOT be available on the web.

• 1. Introduction (4 pages)
• 2. Set Theory (26 pages)
• 3. Functions, Multisets (8 pages)
• 4. Sequences, Strings, Inductive Definitions (19 pages)
• 5. Formal Languages (10 pages)
• 6. Grammars (18 pages)
• 7. Binary Relations, Closures (9 pages)
• 7a. Relations (Additional Notes, Just for examples, Skip R-Database)
• 8. Equivalence Relations, Countability (15 pages)
• 9. Partial Order (16 pages)
• 10. Well Founded INduction (12 pages)
• 11. Propositional Logic (28 pages)
• 12. Predicate Logic (22 pages)
• 13. Finite State Automaton 1 (10 pages)
• 14. Finite State Automaton 2 (9 pages)