Hasso-Plattner-Institut
 
    • de
 

Diskrete Strukturen und Logik (WS2007/08)

Dozent: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)
Tutor: Dipl.-Inf. Matthias Quasthoff


Beschreibung

In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es 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

Literatur

Ch. Meinel, M. Mundhenk: "Mathematische Grundlagen der Informatik"

Leistungserfassungsprozess

Voraussetzungen für die Teilnahme an der Klausur 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

Abschließend können alle Teilnehmer eine Möglichkeit zur Verbesserung im Rahmen einer mündlichen Prüfung wahrnehmen.

Termine

Die Teilnahme an der Vorlesung und Übung ist obligatorisch.

Vorlesung

Di + Mi, 11:00 - 12:30 Uhr (HS 1)

Übungen

G1: Mi, 13:30 - 15:00 Uhr (A-1.1)
G2: Mi, 15:15 - 16:45 Uhr (A-1.1)
G3: Mi, 17:00 - 18:30 Uhr (A-1.1)
G4: Do, 11:00 - 12:30 Uhr (A-1.1)

Die Vorlesungen und Übungen beginnen am Dienstag, dem 16.10.2006.

Bitte melden Sie sich für einen der vier Übungstermine an. Die Listen zum Eintragen hängen ab 15.10. schräg gegenüber vom Glasfenster von Frau Pamperin an der Wandtafel der FG Meinel. Zusätzlich ist eine Anmeldung bei Frau Pamperin vor Ablauf der Belegungsfrist  erforderlich.

Allgemeine Informationen

ID:

8 L 4

SWS:

4

ECTS Credit Points:

6.0 (benotet)

Einschreibefrist:

2.11.2007

Belegungsart:

Kernfach

Studiengang:

IT Systems Engineering (Bachelor)

Themenkomplex:

Mathematik (Bachelor)

Vertiefungsgebiet: