|
Department of Mathematics and Statistics Faculty of Science Faculty of Social Sciences |
|
|
Department of Mathematics and Statistics Faculty of Science Faculty of Social Sciences |
|
Mathematical logic, spring 2006Homework problemsExercise 1 Problems 1.45, 1.46 Exercise 2 Problems 2.12, 2.16, 2.17, 2.18; Prove the completeness theorem as given in chapter 1. Exercise 3 Problem 2.12, especially VII, VIII, IX; 2.26 a-e, 2.30, 2.36-28, 2.44 Exercise 4 Students will present various lemmas, theorems and propositions form chapter 2. Exercise 5 Problems 3.17, 3.22, 3.30, 3.31, 3.33 |