- Rekursionsmuster 
foldr
    für Listen benutzen 
    (filter, takeWhile, append, reverse,
    concat, inits, tails)
 
- Rekursionmuster für Peano-Zahlen
    hinschreiben und benutzen 
    (plus, mal, hoch, Nachfolger, Vorgänger, minus)
 
- Rekursionmuster für binäre Bäume
    mit Schlüsseln nur in den Blättern
    hinschreiben und benutzen
 
- Rekursionmuster für binäre Bäume
    mit Schlüsseln nur in den Verzweigungsknoten
    benutzen für: 
    
- Anzahl der Branch-Knoten ist ungerade
      (nicht zählen!)
 
- Baum (
Tree a) 
      erfüllt die AVL-Bedingung
 
- Baum (
Tree Int) 
      ist Suchbaum (ohne inorder )
    
 
 
Johannes Waldmann
2013-06-11