Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2009/2010)

Dozent: Prof. Dr. Christoph Meinel (Internet-Technologien und -Systeme)

Allgemeine Information

Semesterwochenstunden: 4
ECTS: 6
Benotet: Ja
Einschreibefrist: 07.11.2009
Lehrform:
Belegungsart: Pflichtmodul

Studiengänge

IT-Systems Engineering BA

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"

Leistungserfassung

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

Nach der Abschlussklausur besteht für alle Studenten die Möglichkeit, an einer freiwilligen mündlichen Prüfung teilzunehmen.

Die Zwischenklausur findet am XXXX um XXX Uhr statt. Die Abschlussklausur findet am XXXX um XXXX Uhr statt.

Termine

Die Teilnahme an der Vorlesung und Übung ist obligatorisch. Die Vorlesungen und Übungen beginnen am Dienstag, dem 20.10.2009.

Bitte melden Sie sich bis 25.10.2009 für einen der vier Übungstermine an. Die Anmeldung erfolgt online. Zusätzlich ist eine Anmeldung bei Frau Pamperin vor Ablauf der Belegungsfrist erforderlich.

Vorlesung	Di + Mi, 11:00 - 12:30 Uhr (HS 1)
Übungen	Mi, 15:15 - 16:45 Uhr (A-1.1) Mi, 17:00 - 18:30 Uhr (A-1.1) Fr, 11:00 - 12:30 Uhr (A-1.2) Fr, 13:30 - 15:00 Uhr (A-1.2)

Zurück