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.
<strong>Aussagenlogik</strong><br />
• Syntax und Semantik der <strong>Aussagenlogik</strong>, Gesetze, Normalformen<br />
• Folgerungsbegriff<br />
• Beweisverfahren<br />
– semantisch orientierte Verfahren<br />
∗ Wahrheitstafelmethode<br />
∗ Semantische Bäume (Davis/Putnam-Verfahren)<br />
– Binäre Entscheidungsdiagramme (BDDs)<br />
• Logikkalküle (beweistheoretische Verfahren)<br />
– Frege/Hilbert-Kalküle<br />
– Sequenzen-Kalkül<br />
– Tableaukalkül<br />
– Resolutionskalkül<br />
• Komplexitätsaspekte<br />
5