Was hier zu finden ist...
Anmerkung: Bei Problemen im Zusammenhang mit dieser Veranstaltung bitte in die Sprechstunde von Herrn Lettmann gehen oder eine E-Mail schicken.
Allgemeine Informationen
| Dozent: | Prof. Dr. Hans Kleine Büning |
| Dr. Theodor Lettmann | |
| Umfang: | 2 SWS Proseminar |
| Termin: | Blockveranstaltung nach Absprache |
| Modul (2009): | II.5.1 Schlüsselkompetenzen |
Inhalt und Organisation
Das Proseminar Logik und Semantik soll Themen aus den folgenden Bereichen vorstellen:- Aussagenlogik
- Prädikatenlogik
- Beschreibungslogik
- Model Checking
- Binary Decision Diagrams
- ...
Prüfungsmodalitäten
Für das Proseminar ist je nach Studiengang und Art der Prüfung eine Anmeldung über PAUL oder das Prüfungssekretariat erforderlich. Dies gilt z.B. für Bachelor Informatik (2009 und 2004). Im Zweifelsfall bitte beim Prüfungssekretariat nachfragen.
Modulprüfungen Bachelor Informatik werden in den normalen Anmeldefristen angemeldet.
Folgende Agenda ist für dieses Proseminar festgelegt (Erläuterungen dazu in der ersten Vorbesprechung):
- 11.04.2011 erste Vorbesprechung
- bis 25.04.2011 24:00h Auswahl der Themen
- bis 09.05.2011 16:00 Abgabe der Gliederung (Prüfungsleistung) per Email an Yuhan Yan
- bis 08.06.2011 24:00 Abgabe der schriftlichen Ausarbeitung (Prüfungsleistung) per Email an Yuhan Yan
- bis 24.06.2011 16:00 Einreichen der Peer Reviews (Prüfungsleistung) per Email an Yuhan Yan
- 01.07.2011 bis 08.07.2011 Blockseminartage mit Vorträgen (Prüfungsleistung)
- bis 18.07.2011 24:00h Abgabe der überarbeiteten Ausarbeitungen (Prüfungsleistung)
- termingerechte Abgabe einer sinnvollen Gliederung,
- termingerechte Abgabe der schriftlichen Ausarbeitung,
- termingerechte Abgabe der Peer-Reviews zu 3 anderen Ausarbeitungen,
- Anwesenheit und Beteiligung an den Diskussionen während der Blocktermine,
- Vortrag von 35-45 Minuten Dauer anhand von Folien,
- termingerechte Abgabe der entsprechend der Reviews überarbeiteten Ausarbeitung.
Werden diese Bedingungen nicht eingehalten, erfolgt eine Bewertung mit 5.0, falls keine stichhaltigen Gründe vorgebracht werden können (z.B. Attest).
Die Proseminarnote wird dann folgendermaßen berechnet:
- 50% Note für Vortrag + Folien + Diskussion zum eigenen Vortrag,
- 40% Note für Ausarbeitung aus Punkt 2.,
- 10% Note für eigene Peer-Reviews und Berücksichtigung anderer Reviews in überarbeiteter Ausarbeitung.