Übungen zu 'Diskrete Strukturen und Logik'

Prof. Fernau, Wintersemester 2007/2008

Es finden 2 Übungen statt :

Gruppe 1 Montag 16:15 - 18:00 HZ 202
Gruppe 2 Mittwoch 14:15 - 16:00 HZ 204



Aufgaben

Aufgabenblatt Thema
1 Junktoren- und Aussagenlogik
2 Aussagen- und Prädikatenlogiklogik
3 Beweisverfahren
4 Induktion und Mengenlehre
5 Relationen
6 Graphen und Äquivalenzrelationen
7 Funktionen, Ordnungen, Folgen
8 Urnenmodelle, Wahrscheinlichkeit
9 Kombinatorik, mehr Wahrscheinlichkeit
10 O-Notation, z-Transformation, etwas Algebra
11 (Boolesche) Algebra
12 Boolesche Algebra, Verbände
13 Schaltkreise