Grundlagen des maschinellen Beweisens (PDF)

Name: Grundlagen des maschinellen Beweisens
Brand: Vieweg+Teubner Verlag
SKU: 104114688
Price: 35.96 EUR
Availability: OnlineOnly

Eine Einführung für Informatiker und Mathematiker

Autor: Ralf-Detlef Kutsche

Schreiben Sie einen Kommentar zu "Grundlagen des maschinellen Beweisens".

Grundlagen des maschinellen Beweisens, Ralf-Detlef Kutsche

Merken

Mehr zum Inhalt Video

sofort als Download lieferbar

Bestellnummer: 104114688

eBook (pdf) 35.96 €

Download bestellen

Verschenken

17 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Grundlagen des maschinellen Beweisens (PDF)“

Dieses Buch ist ein Lehrbuch, das präzise die logischen und mathematischen Grundlagen des automatischen Theorembeweisens entwickelt. Es richtet sich an Studenten und Wissenschaftler der Informatik, die damit auch Grundlagen von Symbolmanipulation, formalen Spezifikationsmethoden sowie funktionaler und logischer Programmierung erwerben können.Ausgehend von der Prädikatenlogik werden theoretische Konzepte und Strategien für automatische Theorembeweiser vorgestellt. Dabei wird ein Bogen von der Resolution über die Paramodulation bis zurTermersetzung gespannt: Der Resolutionskalkül stellt ein handwerkliches Regelsystem für die allgemeine Prädikatenlogik erster Stufe dar, seine Erweiterung um die Paramodulation ermöglicht, die Gleichheitsrelation adäquat behandeln zu können. (,, Ersetzen von Gleichem durch Gleiches"); schließlich wird mit der ausführlichen Behandlung von Termersetzungssystemen eine operationale Sichtweise von reinen Gleichungsmengen betont.