Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Einsatzbedingungen automatischer Beweiser<br />
Logik als qualitatives ”<br />
Rechnen“:<br />
• Allgemeine Aussagen über Objekte verfügbar<br />
• Abspeichern aller möglicherweise benötigten Kombinationen auf Grund des Umfangs<br />
nicht möglich<br />
⇒ Berechnung des Ergebnisses <strong>zur</strong> Laufzeit<br />
(nach Bedarf) notwendig.<br />
Beispiele:<br />
• Deduktive Datenbanken<br />
• Automatisches Beweisen mathematischer Sätze<br />
1