Mathematik I - Diskrete Strukturen und Logik (Wintersemester 2006/2007)

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

General Information

Weekly Hours: 4
Credits: 6
Graded: yes
Enrolment Deadline: 03.11.2006
Teaching Form:
Enrolment Type: Compulsory Module

Programs

IT-Systems Engineering BA

Description

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

Literature

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

Examination

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

Dates

Die Teilnahme an der Vorlesung und Übung ist obligatorisch.

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

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

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 vor Ablauf der Belegungsfrist erforderlich.

Zurück