PDF 132kb
PDF 132kb
PDF 132kb
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logische Beschränkungen<br />
Verwenden logische<br />
Schlußfolgerungen, um bestimmte<br />
Lösungen auszuschließen<br />
Beispiel Bausatz:<br />
alle Teile sind aufzubrauchen<br />
Natürliche Abbildungen verwenden oft<br />
logische Constraints<br />
Beispiel:<br />
Linker Schalter = linke Lampe ist<br />
„natürlich” („logisch”)<br />
© Prof. Dr. Michael Weber, Abteilung Medieninformatik, Uni Ulm Folie 21