Mathematical logic, spring 2006

Second mid-term exam

The second mid-term exam is on Thursday May 4 at 13.00-15.00 in room A111. The list of problems is:

1. Prove Proposition 2.38.
2. Prove Proposition 3.6.
3. Prove Proposition 3.15.
4. Prove Proposition 3.17.
5. Prove Proposition 3.25.
6. Prove Proposition 3.32.
7. Prove Proposition 3.35.
8. Prove Corollary 3.42.
9. Problem 3.11.
10. Problem 3.12.
11. Problem 3.28.
12. Problem 3.29.
13. Prove that a set A of natural numbers is recursive if and only if both A and its complement N\A are recursively enumerable.

There is another possibility to take the exam on Thursday May 11 from 12 to 14 in room B322.