  |
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 - Predicatie 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) |
| |
| |
Syntactic Provability and Semantic Entailment |
|
|
| |
Consistency, Completeness, Independence, and other
notions |
|
|
| |
Isomorphism on Relational Algebras; Categoricity |
|
|
| |
Homework 10 |
|
|
| |
|
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)(/a> |
| |
|
Lecture 17. | Automata and Grammars, Section 2 |
|
(.pdf) |