|
Modulnummer:
|
11112
|
| Modultitel: |
Mathematik IT-1 (Diskrete Mathematik) |
| |
Mathematics IT-1 (Discrete Mathematics)
|
| Einrichtung: |
Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
|
| Verantwortlich: |
-
Prof. Dr. rer. nat. habil. Köhler, Ekkehard
|
| Lehrsprache: |
Deutsch
|
| Dauer: |
1 Semester |
| Angebotsturnus: |
jedes Wintersemester
|
| Kreditpunkte: |
8
|
| Lernziele: |
Die Studierenden sollen
- sichere Kenntnisse über grundlegende Begriffe der Graphentheorie, der elementaren Zähltheorie und Kombinatorik sowie der Aussagen- und Prädikatenlogik erwerben
- die Grundtechniken des Lösens typischer Aufgabenstellungen in diesen Gebieten sicher beherrschen
- grundlegende Fähigkeiten und Fertigkeiten im strukturellen Denken und Beweisen entwickeln
- insbesondere durch eigenständiges Lösen von Übungsaufgaben zur Exaktheit in der Umsetzung des Faktenwissens aus den Lehrveranstaltungen befähigt werden
|
| Inhalte: |
- Grundlagen: Mengen, Abbildungen, Relationen, vollständige Induktion
- Elementare Kombinatorik: Abzählen, Binomialkoeffizienten, Siebformel, Abschätzen
- Einführung in die Graphentheorie
- Logik: Normalform und Resolution in der Aussagenlogik
|
| Empfohlene Voraussetzungen: |
keine |
| Zwingende Voraussetzungen: |
keine |
| Lehrformen und Arbeitsumfang: |
-
Vorlesung
/ 4 SWS
-
Übung
/ 2 SWS
-
Selbststudium
/ 150 Stunden
|
| Unterrichtsmaterialien und Literaturhinweise: |
- Matousek, J. , Nesetril, J. : Diskrete Mathematik: Eine Entdeckungsreise, Springer, 2002
- Meinel, Mundschenk: Mathematische Grundlagen der Informatik
- Tuschik, Wolter: Mathematische Logik - kurzgefasst, Spektrum, 2002
- Steger, A.: Diskrete Strukturen 1
|
| Zu erbringende Prüfungsleistungen: |
- erfolgreiche Bearbeitung von Hausaufgaben (unbenotet)
- Prüfungsleistung benotet: schriftliche Prüfung (90 Minuten) am Ende des Semesters
|
| Prüfungsrücktritt: |
bis Ende der 7. Vorlesungswoche |
| Zuordnung zu Studiengängen: |
-
Diplom /
Informatik /
Prüfungsordnung 2004
-
Diplom /
Mathematik /
Prüfungsordnung 2004
-
Bachelor /
Informatik /
Prüfungsordnung 2008
-
Bachelor /
Informations- und Medientechnik /
Prüfungsordnung 2008
-
Bachelor /
eBusiness /
Prüfungsordnung 2003
-
Bachelor /
eBusiness /
Prüfungsordnung 2007
-
Abschluss im Ausland /
Informatik /
keine Prüfungsordnung
|
| Bemerkungen: |
- Studiengang Informatik B.Sc. und Diplom: Pflichtmodul
- Studiengang Informations- und Medientechnik B.Sc.: Pflichtmodul
- Studiengang eBusiness B.Sc.: Pflichtmodul
|
| Veranstaltungen zum Modul: |
Vorlesung: Mathematik IT-1 (Diskrete Mathematik)
Übung zur Vorlesung |
| Veranstaltungen im aktuellen Semester: |
|