Vorlesung Modellierung WS 2001/2002 - Folie Nr. 330

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 320-333 als PDF

Ziele:
Prädikatenlogik lesen lernen

in der Vorlesung:

  • Erläuterung der Beispiele
  • Formalisierung der Axiome