Hasso-Plattner-Institut
  
    • de
 

Dozenten

Prof. Dr. sc. nat. Christoph Meinel (Vorlesung)
Dipl.-Inform. Björn Schünemann (Übung)

Beschreibung

In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik für Studienanfänger vermittelt. Im einzelnen werden die folgenden drei Themenkomplexe behandelt:

     

  • Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen

  • Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik

  • Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetik

Leistungserfassungsprozess

Voraussetzungen für die Teilnahme an der mündlichen Prüfung am Ende des Semesters sind:

     

  • Regelmäßige Teilnahme und aktive Mitarbeit in den Übungen
  • Jeweils in der ersten und zweiten Semesterhälfte mindestens 50% der erreichbaren Punkte in den Übungsaufgaben
  • Erfolgreiches Absolvieren der Klausur in der Mitte des Semesters

Termine

Die Teilnahme an der Vorlesung und Übung ist obligatorisch.

VorlesungDi + Mi, 11:00 - 12:30 Uhr (HS 1)
ÜbungenG1: Mo, 13:30 - 15:00 Uhr (A-1.1)
G2: Mi, 15:15 - 16:45 Uhr (A-1.1)
G3: Mi, 13:30 - 15:00 Uhr (A-1.2)

Die Übungen beginnen am Mittwoch, dem 19.10.2005. Die erste Montags-Übung findet in der darauf folgenden Woche statt.

Bitte melden Sie sich für einen der vier Übungstermine an. Die Listen zum Eintragen hängen schräg gegenüber vom Glasfenster von Frau Pamperin an der Wandtafel der FG Meinel.

Zusätzlich ist eine Anmeldung bei Frau Pamperin bis zum 4. November 2005 erforderlich.

Übungsablauf

     

  • Jeden Mittwoch wird in der Vorlesung das aktuelle Aufgabenblatt zur Verfügung gestellt.
  • Die Bearbeitungsfrist der Aufgaben beträgt neun Tage. Jeder Teilnehmer der Veranstaltung muss eine selbstständig erarbeitete Lösung abgeben.
  • Auf dem Titelblatt der Lösung sind Name/Matrikelnummer sowie Nummer der Übung deutlich lesbar zu vermerken!
  • Die erstellten Lösungen sind bis spätestens Freitag um 15 Uhr in die Postbox 53 im Foyer des HPI einzuwerfen. Zu spät abgegebene Lösungen werden mit Null Punkten bewertet.
  • Die korrigierten Lösungen werden in der Übung zurückgegeben und besprochen.

Aufgabenblätter

     

  • Aufgabenblatt 1 (Ausgabe am 19. Oktober): Abgabe am 28. Oktober
  • Aufgabenblatt 2 (Ausgabe am 26. Oktober): Abgabe am 4. November
  • Aufgabenblatt 3 (Ausgabe am 2. November): Abgabe am 11. November
  • Aufgabenblatt 4 (Ausgabe am 9. November): Abgabe am 18. November
  • Aufgabenblatt 5 (Ausgabe am 16. November): Abgabe am 25. November
  • Aufgabenblatt 6 (Ausgabe am 23. November): Abgabe am 2. Dezember
  • Zwischenklausur am 6. Dezember
  • Aufgabenblatt 7 (Ausgabe am 30. November): Abgabe am 9. Dezember
  • Aufgabenblatt 8 (Ausgabe am 7. Dezember): Abgabe am 16. Dezember
  • Aufgabenblatt 9 (Ausgabe am 14. Dezember): Abgabe am 23. Dezember
  • Aufgabenblatt 10 (Ausgabe am 21. Dezember): Abgabe am 13. Januar
  • Aufgabenblatt 11 (Ausgabe am 11. Januar): Abgabe am 20. Januar
  • Aufgabenblatt 12 (Ausgabe am 18. Januar): Abgabe am 27. Januar
  • Aufgabenblatt 13 (Ausgabe am 25. Januar): Abgabe am 3. Februar
  • Aufgabenblatt 14 (Ausgabe am 1. Februar): Abgabe am 10. Februar

Mündliche Prüfung

Die mündlichen Prüfungen finden an folgenden Tagen statt:

     

  • Mi, 15.02.06 von 8:30 Uhr bis 17:00 Uhr
  • Do, 16.02.06 von 8:30 Uhr bis 17:00 Uhr