• Prof. Dr. Bettina Just

• Prof. Dr. Martin Bokler
• Prof. Dr. Bettina Just
• Prof. Dr. Hans-Rudolf Metz

Keine

Keine

Erwerb der grundlegenden Kompetenzen des logischen Argumentierens und mathematischer Arbeitsweisen anhand von Inhalten der Diskreten Mathematik

• Aussagenlogik und Quantoren
• Boolesche Algebra
• Mengen, Zahlenmengen
• Algebraische Strukturen, z.B. Monoide, Gruppen, Körper
• Relationen, Funktionen
• Folgen, Summen, geometrische Reihe
• Kombinatorik
• Graphen, speziell auch Bäume
• Modulrechnung (mit Primzahlen und Faktorisierung)

Fachkompetenzen

• Die Studierenden können die grundlegenden Begriffe und Methoden der diskreten Mathematik benennen.
• Sie können Beispiele für konkrete Anwendungen der Begriffe und Methoden benennen und erläutern.

Methodenkompetenzen (fachlich & überfachlich)

• Die Studierenden verstehen mathematische Definitionen, Aussagen und Beispiele und können sie selbst schriftlich formulieren.
• Sie können die grundlegenden Beweistechniken (direkte Beweisketten, Widerspruchsbeweise, Äquivalenzbeweise, vollständige Induktion) anwenden. Sie können einfache vorgegebene Beweise nachvollziehen und selbst Beweise führen.
• Sie sind in der Lage, zu abstrahieren und zu konkretisieren.
• Sie sind in der Lage, in einfachen Fällen praktische Probleme mit mathematischen Mitteln zu beschreiben und zu lösen.

Sozialkompetenzen

• Die Studierenden sind in der Lage, sich in einer großen Gruppe von Hörern angemessen zu verhalten.

Selbstkompetenzen

• Die Studierenden können den logischen Gedanken von Lehrvorträgen folgen und die Gedankenketten zusammenfassen.
• Sie erhöhen ihre Frustrationstoleranz, wenn sie Aufgaben nicht auf Anhieb lösen können.

• 6 CrP
• Arbeitsaufwand 180 Std.
• Präsenzzeit 90 Std.
• Selbststudium 90 Std.

• 6 SWS
• Vorlesung 4 SWS
• Übung 2 SWS

• Bioinformatik (B.Sc. 2022)
• Digital Media Systems (B.Sc. 2023)
• Informatik (B.Sc. 2022)
• Ingenieur-Informatik (B.Sc. 2022)

Nein

Bonuspunkte werden gemäß § 9 (4) der Allgemeinen Bestimmungen vergeben. Art und Weise der Zusatzleistungen wird den Studierenden zu Veranstaltungsbeginn rechtzeitig und in geeigneter Art und Weise mitgeteilt.

Prüfungsvorleistung:

Hausübungen und Kurztest (Eingangstest)

(Anzahl der Hausübungen wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)

Prüfungsleistung:

Klausur

• Bioinformatik (B.Sc. 2022)
  • Effiziente Algorithmen und ihre Anwendungen (INF2526)
  • Mathematik 2 (MAT1002)
• Informatik (B.Sc. 2022)
  • Digitale Signalverarbeitung (II2002)
  • Effiziente Algorithmen und ihre Anwendungen (INF2526)
  • Kategorientheorie für Informatiker (INF2523)
  • Mathematik 2 (MAT1002)
  • Simulation von Quantencomputern und ihren Grundlagen (INF2547)
• Digital Media Systems (B.Sc. 2023)
  • Effiziente Algorithmen und ihre Anwendungen (INF2526)
  • Mathematik 2 (MAT1002)
• Ingenieur-Informatik (B.Sc. 2022)
  • Digitale Signalverarbeitung (II2002)
  • Effiziente Algorithmen und ihre Anwendungen (INF2526)
  • Kategorientheorie für Informatiker (INF2523)
  • Mathematik 2 (MAT1002)
  • Simulation von Quantencomputern und ihren Grundlagen (INF2547)

• Teschl, G.; Teschl, S.: Mathematik für Informatiker. Band 1. Springer-Verlag.
• Chetwynd, A.; Diggle, P.: Discrete Mathematics. Butterworth-Heinemann.
• Rosen, K.: Discrete Mathematics and Its Applications. McGraw-Hill.
• Lovász, L.; Pelikán, J.; Vesztergombi, K.: Discrete Mathematics (deutsche Übersetzung: Diskrete Mathematik). Springer-Verlag.