Diskrete Strukturen und Logik (Wintersemester 2005/2006)
Dozent:
Prof. Dr. Christoph Meinel
(Internet-Technologien und -Systeme)
Allgemeine Information
- Semesterwochenstunden: 4
- ECTS: 6
- Benotet:
Ja
- Einschreibefrist: 04.11.2005
- 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 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.
| Vorlesung | Di + Mi, 11:00 - 12:30 Uhr (HS 1) |
| Übungen | G1: 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. |
Zurück
