Modulbeschreibung. Seite 1 von 5. Allgemeine Daten: Modulnummer: EI0310 Modulbezeichnung (dt.):

Transkript

1 Modulbezeichnung (dt.): Diskrete Mathematik für Ingenieure Modulbezeichnung (en.): Discrete Mathematics for Engineers Modulniveau: BSc Kürzel: Untertitel: Semesterdauer: 1 Semester Häufigkeit: SS Sprache: Deutsch ECTS: 5 Arbeitsaufwand: Präsenzstunden: 75 Eigenstudiumsstunden: 75 Gesamtstunden: 150 Studien-/Prüfungsleistungen: Beschreibung der Studien- / Prüfungsleistungen: Modulprüfung mit folgenden Bestandteilen: - Abschlussklausur Prüfungsart: schriftlich Prüfungsdauer (min): 90 Hausaufgaben: Hausarbeit: Vortrag: Gespräch: Wiederholung auch im Folgesemester: Wiederholung auch am Semesterende: Seite 1 von 5

2 Beschreibung: Inhalt: Aussagenlogik (Umfang abhängig von Inhalt Digitale Schaltungen sowie Informatik): [sehr knapp, kurze Review] Aussageformen, Beschreibungsmöglichkeiten, Erfüllbarkeitsmenge, aussagenlogische Gesetze Resolutionsgesetze, Resolventenmethode aussagenlogisches Schließen binäre Entscheidungsnetze, Operationen auf binären Entscheidungsnetzen Prädikatenlogik prädikative Aussageformen, prädikatenlogische Gesetze Mengen (knapp) Beschreibungsformen, Mengenbeziehungen Boolesche Algebra der Teilmengen, Operationen auf Wortmengen Entsprechungen zwischen Aussagen- und Prädikatenlogik sowie Mengen, zwischen Boolescher- und Mengenalgebra Relationen und Graphen Grundlagen; Operationen auf Relationen Eigenschaften von Relationen, Darstellungsformen (u.a. Matrizendarstellung) Hüllen von Relationen, Ordnungsrelationen, Äquivalenzrelationen binäre Graphen (u.a. Erreichbarkeit, Pfade, Bäume) evtl. Graphen auf Algorithmen (z.b. längste Pfade) Extrema Angestrebte Lernergebnisse: Endliche Automaten (knapp oder gar nicht, je nach Inhalten Digitale Schaltungen, ADS) Beschreibung mit Relationen Optimierung von Endlichen Automaten Studierende sind mit den Grundlagen diskreter Mathematik und deren Anwendungen in der Elektro- und Informationstechnik vertraut. Sie kennen wesentliche Konzepte, um anspruchsvolle technische Aufgabenstellungen formal zu modellieren und damit einer automatisierten Lösung zugänglich zu machen. Sie verstehen die Grundlagen diskreter Strukturen und sowohl Zusammenhänge als auch Unterschiede verschiedener solcher Strukturen. Seite 2 von 5

3 (Empfohlene) Vorraussetzungen: Folgende Module sollten vor der Teilnahme bereits erfolgreich absolviert sein: - Digitaltechnik - Algorithmen und Datenstrukturen Es wird empfohlen, ergänzend an folgenden Modulen teilzunehmen: - Medienformen: Folgende Medienformen finden Verwendung: - Tafelanschrieb - Umfassende Formelsammlung - Übungskatalog mit Musterlösungen - zusätzliche Unterlagen und Demonstrationen online Literatur: Folgende Literatur wird empfohlen: - F.L. Bauer, M. Wirsing: Elementare Aussagenlogik, Springer Verlag, Berlin, D.F. Stanat, D.F. McAllister: Discrete Mathematics in Computer Science, Prentice-Hall, Englewood Cliffs, N.J., 1986 Seite 3 von 5

4 Lern-/Lehrmethoden: Als Lernmethode wird zusätzlich zu den individuellen Methoden des Studierenden eine vertiefende Wissensbildung durch exemplarische Erläutern in Übungen angestrebt. Als Lehrmethode wird in Vorlesung wie Übung Frontalunterricht gehalten. Die Übung enthält auch anwendungsnahe Beispiele. Die Vorlesung umfasst viele Beispiele. Überlegt wird, kleine Programmierprojekte zu integrieren (z.b. Operationen auf Graphen) Modulverantwortliche: Dozent: 1. Dozent: Ulf Schlichtmann Ulf Schlichtmann 2. Dozent: 3. Dozent: Lehrveranstaltungen: 1. LV: Vorlesung Diskrete Mathematik für Elektro- und Informationstechnik SWS: 3 2. LV: Übung Diskrete Mathematik für Elektro- und Informationstechnik SWS: 2 Seite 4 von 5

5 3. LV: SWS: Zuordnung zum Curriculum: 1. Studiengang: Bachelor of Science in Elektrotechnik und Informationstechnik 2. Studiengang: 3. Studiengang: Stabsstelle QM, Stand Seite 5 von 5