Vorlesung Modellierung WS 2001/2002 - Folie Nr. 306

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 301-308 als PDF

Ziele:
Begriffe zur Erfüllbarkeit verstehen

in der Vorlesung:

  • Weitere Beispiele dazu
  • Schematische Einteilung der Formelmengen

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.1.1