Cum să cumpăr
Livrare
Consilier de cumpărături
Grundlagen des maschinellen Beweisens
germană
133 b
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
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.
Informații despre carte
germană
