Friedrich-Schiller-Universität Jena

Name des Moduls	[50140] Diskrete Strukturen II	Bezeichnung des Moduls	FMI-IN0014

Studiengang	[079] - Informatik	ECTS Punkte	6

Arbeitsaufwand für Selbststudium	120	Häufigkeit des Angebotes (Modulturnus)	jedes 2. Semester (ab Sommersemester)
Arbeitsaufwand in Präsenzstunden	60	Dauer des Moduls	1
Arbeitsaufwand Summe (Workload)	180

Modul-Verantwortliche/r	Jörg Vogel
Voraussetzung für die Vergabe von Leistungspunkten (Prüfungsform)	Klausur oder mündliche Prüfung (Festlegung erfolgt zu Beginn des Moduls)
Zusätzliche Informationen zum Modul	LA Informatik: Das Modul wird nicht in die Berechnung der Endnote aufgenommen
Empfohlene Literatur	Kenneth Rosen: Discrete Mathematics and its Applications, Mc Graw Hill.
Voraussetzung für die Zulassung zum Modul	keine
Empfohlene bzw. erwartete Vorkenntnisse	FMI-IN0013 Diskrete Strukturen I
Art des Moduls (Pflicht-, Wahlpflicht- oder Wahlmodul)	- 079 LA Gymnasium Informatik: Pflichtmodul - 079 LA Gym (Erweiterung) Informatik: Wahlpflichtmodul - 079 B.A. Informatik: Wahlpflichtmodul - 079 B.Sc. Informatik: Pflichtmodul (Konto B) - 184 B.Sc. Wirtschaftswissenschaften: Wahlpflichtmodul (IMS: Vertiefungsmodule d. FMI) - 679 B.Sc. Angewandte Informatik: Pflichtmodul (Konto B)
Zusammensetzung des Moduls / Lehrformen (V, Ü, S, Praktikum, …)	2 SWS Vorlesung 2 SWS Übung
Inhalte	Aussagenlogik (Syntax und Semantik, Modelle, Äquivalenzen, Normalformen; Folgerungen; Resolution) Kombinatorik (Elementare Abzählregeln, Binomialkoeffizienten, Inklusion-Exklusion, Schubfachprinzip, Erzeugende Funktionen, Rekurrenzen) Zahlentheorie (Euklidischer Algorithmus; modulare Arithmetik; Primzahlen; Chinesischer Restsatz)
Lern- und Qualifikationsziele	Grundlegende Kenntnisse in Diskreter Mathematik Befähigung zur Durchführung logisch ausgebauter, mathematisch sauberer Beweise Einsicht in die Anwendungen diskreter Strukturen in der Informatik
Voraussetzung für die Zulassung zur Modulprüfung	Übungskriterien, die zum Modulbeginn festgelegt werden