Nachweis der Unvollständigkeit

Ist die Datenstruktur nicht ausdrucksstark genug, dann ist der

Kalkül nicht vollständig. Das folgende Beispiel ist von M.Wand:

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen