  |
Homework
1. |
from Lecture
1 |
(Basic Concepts of Set Theory) |
|
|
| |
|
Homework
2. |
from Lecture
2 |
(Relations and Functions) |
|
|
| |
|
Homework
3. |
from Lecture
3 |
(Properties of Relations) |
|
|
| |
|
Homework
4. |
from Lecture
4 |
(Algebra, Section 1) |
|
|
| |
|
Homework
4.2. |
from Lecture
4.2 |
(Algebra cont'd, Section 2) |
|
|
| |
|
Homework
5. |
from Lecture
5 |
(Logic, Section 1 - Statement Logic) |
|
|
| |
|
Homework
6. |
from Lecture
6 |
(Logic, Section 2 - Predicate Logic) |
|
|
| |
|
Homework
7. |
from Lecture
7 |
(Logic, Section 3 / Algebra, Section 3) |
|
|
| |
|
Homework
8. |
from Lecture
8 |
(Algebra, Section 4) |
|
|
| |
|
Homework
9. |
from Lecture
9 |
(Logic and Algebra - Lindenbaum Algebra) |
|
|
| |
|
Homework
10. |
from Lecture
10 |
(Model Theory) |
|
|
| |
|
Homework
11. |
from Lecture
11 |
(Proof by Induction) |
|
|
| |
|
Homework
12. |
from Lecture
12 |
(More Algebra) |
|
|
| |
|
Homework
13. |
from Lecture
13 |
(Formal Phonology - Features and their structure) |
|
|
| |
 |
Homework
14. |
from Lecture
14 |
(Infinities) |
|
|
| |
| |
Instructors' Index |
|
(.pdf) |
| |
Instructors' Note to Homework 14: A falacious
diagonal proof |
|
(.pdf) |
| |
| |
Student Solution 1: Part
I, questions 2-4, 6, 7; Part III, question from Quiz 1 in 409 |
|
(.pdf) |
| |
Student Solution 2: Part I, questions
2-4, 6; Part II question 4; Part III, the quiz question |
|
(.pdf) |
| |
Student Solution 3: Part I, questions
2-4, 6, 8; Part II question 4; Part III, the quiz question |
|
(.pdf) |
| |
|
Homework
15. |
from Lecture
15 |
(Automata and Grammars, Section 1) |
|
|