Professor:
Prof. Ueli Maurer
Chefassistent:
Christoph Lucas
Die Vorlesung findet im HS 2011 am Montag 9-12 und am Mittwoch 13-15 im HG G 5 statt.
News Feed
- Eine Errata mit ein paar kleinen Änderungen im Skript kann hier heruntergeladen werden. Bitte beachten Sie, dass sich gewisse Änderungen auch auf die Zusammenfassung auswirken. Eine neue Version der Zusammenfassung kann hier heruntergeladen werden. Diese neue Version beinhaltet auch die Änderungen an Kapitel 8, die während dem Semester verteilt wurden. An der Prüfung wird die neue Version verwendet.
- 01.02. - Am Mittwoch, den 1. Februar, um 14:00 wird im CAB G51 eine Fragestunde stattfinden. Bitte schickt Eure Fragen bis spätestens Montag Abend (30. Januar) an Christoph. Eine Anmeldung zu der Fragestunde ist nicht erforderlich.
- 07.12. - Diese überarbeitete Version von Kapitel 8 wird am Mittwoch, den 7. Dezember in der Vorlesung verteilt.
- 05.12. - Neue Testatbedingung: Es wird nur 13 (statt wir ursprünglich vorgesehen 14) Testat-relevante Übungsserien geben. Für ein Testat müssen 11 der 13 Serien sinnvoll bearbeitet werden.
- 28.11. - In der Vorlesungspause wird das Skript zu Kapitel 8 - Logik für CHF 5.- verkauft.
- 04.11. - Die Übungsgruppe 2 wird ab sofort von Andreas Noever betreut.
- 22.09. - Erste Übungsstunde.
- 21.09. - Erste Vorlesung mit Einschreibung in die Übungsgruppen und Skriptverkauf.
Übungen
Die Übungen finden am Donnerstag statt. Der reguläre Übungsbetrieb beginnt in der ersten Semesterwoche am 22. September. Die Einschreibung in die Übungsgruppen findet in der ersten Vorlesungspause statt.Weitere Informationen zum Übungsbetrieb, sowie die Testatbedingung finden Sie auf dem Informationsblatt. Studenten, die während des Semesters mehr als 1 Woche abwesend sind, müssen für ein Testat nur 11-x von 13 Serien abgeben, wobei x die Anzahl abwesender Wochen minus 1 ist. Für die Abwesenheit muss ein Beleg (z.B. Arztzeugnis, Marschbefehl) gebracht werden.
Übungsblätter und Lösungen
| Übung | Lösung | |
|---|---|---|
| Übung 1 | ||
| Übung 2 | ||
| Übung 3 | ||
| Übung 4 | ||
| Übung 5 | ||
| Übung 6 | ||
| Übung 7 | ||
| Übung 8 | ||
| Übung 9 | ||
| Übung 10 | ||
| Übung 11 | ||
| Übung 12 | ||
| Übung 13 | ||
| Übung 14 |
Übungsgruppen
| Gruppe | Assistent | Ort | Zeit |
|---|---|---|---|
| 1 | Sandro Coretti | CAB G 52 | 10-12 |
| 2 | Andreas Noever | CAB G 56 | 10-12 |
| 3 | Michèle Feltz | CAB G 57 | 10-12 |
| 4 | Arpita Patra (Englisch) | CHN G 42 | 10-12 |
| 5 | Sandro Coretti | HG E 21 | 15-17 |
| 6 | Kfir Barhum (Englisch) | HG F 26.5 | 15-17 |
| 7 | Simon Schölly | IFW A 32.1 | 15-17 |
| 8 | Nicola Marcacci Rossi | IFW A 34 | 15-17 |
| 9 | Bernhard Brodowsky | CAB G 51 | 16-18 |
| 10 | Christian Badertscher | CAB G 59 | 16-18 |
| 11 | Pavel Raykov (Englisch) | CHN G 46 | 16-18 |
Zusätliches Material
- Eine Errata mit kleinen Änderungen am Skript finden Sie hier.
- Diese Zusammenfassung wird auch in der Prüfung abgegeben.
- Die überarbeitete Version von Kapitel 8 finden Sie hier.
Prüfung
- Die Prüfung für die Bachelor-Studenten findet im August 2012 statt, die Prüfung für Master-Studenten bereits im Februar 2012. Beide Prüfungen dauern 3 Stunden.
- In der Prüfung wird eine Zusammenfassung des Skriptes verteilt, die schon zu Beginn der Vorlesung bekannt gegeben wird. Ausserdem wird eine Kopie der Kapitel 1.1, 1.2, 1.5, 2.1, 2.2 aus dem Schöning Buch verteilt. Es sind keine zusätzlichen Hilfsmittel erlaubt.
- Massgebend für die Prüfung ist das Skript. Eventuell durch Assistenten verteiltes Zusatzmaterial ist keine Referenz für die Prüfung.