Mathematische Grundlagen der Informatik

Wintersemester 2012/2013

Vorlesung: Prof. Dr. Ludwig Staiger

Übungen: Dr. Renate Winter

Vorlesung:

1. Aussagenlogik
   Aussagenlogik (4 auf 1)

2. Mengenlehre
   Mengenlehre (4 auf 1)

3. Allgemeine Algebren
   Allgemeine Algebren (4 auf 1)

4. Terme und Σ-Algebren
   Terme und Σ-Algebren (4 auf 1)

5. Graphen
   Graphen (4 auf 1)

6. Prädikatenlogik
   Prädikatenlogik (4 auf 1)

Übungen:

• Übungsserie 0
  
• Übungsserie 1
  
• Übungsserie 2
  
• Übungsserie 3
  
• Übungsserie 4
  
• Übungsserie 5
  
• Übungsserie 6
  
• Übungsserie 7
  
• Bonusserie
  
• Übungsserie 8
  
• Übungsserie 9
  
• Übungsserie 10
  
• Übungsserie 11
  
• Übungsserie 12
  
• Übungsserie 13