01.03.2013 Aufrufe

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

Logische Grundlagen des Mathematikunterrichts - Mathematik und ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Logik Rahmenplan <strong>Logische</strong> <strong>Gr<strong>und</strong>lagen</strong> Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen<br />

Prädikatenlogik<br />

Formalisierung<br />

Mit Hilfe der Prädikatenlogik lässt sich ein großer Bereich an<br />

Sätzen formalisieren <strong>und</strong> dann auf seine Gültigkeit innerhalb eines<br />

Axiomsystems prüfen.<br />

23 / 52

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!