SoSe 2010 » Introduction to Mathematical Logic
Ziegler
| Übersicht | Schedule | Synopsis | Exercises |
Veranstalter
| Name | Raum | Tel. | Sprechstunde |
|---|---|---|---|
| Ziegler, Martin | Freitags, 13:20-15h00 in S2|15 201 or in S2|15 332a |
Vorlesung
| Tag | Uhrzeit | in Raum |
|---|---|---|
| Montags | 9:50 - 11:30 | S204/213 |
| Freitags | 11:40 - 13:20 | S214/024 |
Literatur
- S.M.Srivastava: A Course on Mathematical Logic (HeBIS, Wellnitz, Buch Habel, Amazon)
- Shoenfield: Mathematical Logic (HeBIS, Buch Habel, Amazon)
- van Dalen: Logic and Structure (HeBIS, Wellnitz, Buch Habel, Amazon)
- Cori+Lascar: Mathematical Logic I+II (HeBIS, Wellnitz, Amazon)
- A. Blumensath, Book in Preparation
Übung
| Nr. | Zeit | in Raum | bei | Sprechstunde | in Raum |
|---|---|---|---|---|---|
| 1 | Dienstags, 16:15 - 17:55 | S114/169 | Ziegler | nach der übung | S114/169 |
Bemerkung
Exercises start as early as April 13:Please prepare sheet #00 available for download above!
We shall discuss it on Tuesday.
Exercise sheet #01 will be distributed on Tuesday;
you then have 6 days (including a weekend to let
it seep in your mind) for finding the solution.
Write it down in groups of two to four and submit
this on Monday at the beginning (!) of the lecture.
We shall then discuss the exercises on Tuesday.
Specifically I may ask students to present their
solution.
Then the next sheet is distibuted, and so on.
Active participation is mandatory for admission to the final exam. This will consist of a brief written test of 45 minutes taking place at 4:15pm on Wednesday, July 28 in S1/03-221, followed by a short oral examination (10 minutes) one or two weeks later.
