  |
Lecture 1. |
Basic Concepts of Set Theory |
|
(.pdf) |
| |
|
Lecture 2. |
Relations and Functions |
|
(.pdf) |
| |
|
Lecture 3. |
Properties of Relations |
|
(.pdf) |
| |
|
Lecture 4. |
Algebra, Section 1 |
|
(.pdf) |
| |
|
Lecture 4.2. |
Algebra (cont'd.), Section 2 |
|
(.pdf) |
| |
|
Lecture 5. |
Logic, Section 1 - Statement Logic |
|
(.pdf) |
| |
|
Lecture 6. |
Logic, Section 2 - Predicate Logic |
|
(.pdf) |
| |
|
Lecture 7. |
Logic, Section 3 / Algebra, Section 3 |
|
(.pdf) |
| |
|
Lecture 8. |
Algebra, Section 4 |
|
(.pdf) |
| |
|
Lecture 9. |
Logic and Algebra - Lindenbaum Algebra |
|
(.pdf) |
| |
|
Lecture 10. |
Model Theory |
|
(.pdf) |
| |
|
Lecture 11. |
Proof by Induction |
|
(.pdf) |
| |
|
Lecture 12. |
More Algebra |
|
(.pdf) |
| |
|
Lecture 13. |
Formal Phonology - Features and their structure |
|
(.pdf) |
| |
|
Lecture 14. |
Infinities |
|
(.pdf) |
| |
|
Lecture 15. |
Automata and Grammars, Section 1 |
|
(.pdf) |
| |
|
Lecture 15.2. |
Automata and Grammars, Section 1 (cont'd.) |
|
(.pdf) |
| |
|
Lecture 16. |
Natural Language Quantifiers as Finite State Automata |
|
(.pdf) |
| |
|
Lecture 17. |
Automata and Grammars, Section 2 |
|
(.pdf) |