Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2016 / Logik und Diskrete Strukturen / Material


Inhaltsbereich

Material

Materialien zur Vorlesung Algorithmen und Datenstrukturen
Altes Skript zum Logik-Teil der Vorlesung
Skript aus 2008 zum Logik-Teil der Vorlesung
LDS: Eröffnung Anmeldung Übungen
Anmeldung per UniWorX ab Ende der ersten Vorlesung möglich
Skript zu aussagenlogischen Beweisen
Prof. Hofmann's Notizen zu den ersten beiden Vorlesungen; da diese so nicht im Buch enthalten sind. Für die weiteren Vorlesung über diskrete Strukturen wird es keine solche Notizen mehr geben (siehe Buch); erst wieder zum Vorlesungsteil über Logik.
Mengen (Vorlesungsnotizen)
Unsere Notizen zur 3. Vorlesung; über das Thema Mengen, Relationen und Abbildungen.
Induktion, Ordnungen, Verbände (Vorlesungsnotizen)
Vorlesungsnotizen zu Induktion, Ordnungen und Verbänden.
Klausur LDS 20.07.2016 von 16:00 bis 19:00
Klausur zu "Logik und Diskrete Strukturen"
Zahlentheorie (Vorlesungsnotizen)
Vorlesungsnotizen zum Abschnitt Zahlentheorie und modulare Arithmetik
GGT.hs
Ausführbarer Haskell-Code aus der Vorlesung am 18.05.2016 zum erweiterten euklidischen Algorithmus.
Polynome, Algebren (Vorlesungsnotizen)
Vorlesungsnotizen zu den beiden Abschnitten "Polynome" und "Algebren"
Neus Skript zum Logik-Teil der Vorlesung
Überarbeitete Fassung des Skripts zum Logik-Teil der Vorlesung
LDS Klausureinsicht 03.08.2016 von 13:00 bis 14:00 U 151, Oettingenstr.67,
Einsicht in die Korrektur Ihrer Klausur zu Logik und Diskrete Strukturen
Nachklausur LDS 13.10.2016 von 10:00 bis 13:00
Nachklausur zu "Logik und Diskrete Strukturen"

Artikelaktionen


Funktionsleiste