Mohlo by sa vám tiež páčiť

Viac informácií o knihe Grundlagen des maschinellen Beweisens

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 144 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Technik

• Celý názov: Grundlagen des maschinellen Beweisens
• Podnázov: Eine Einführung für Informatiker und Mathematiker
• Autor: Dieter Hofbauer, Ralf-Detlef Kutsche
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 174
• EAN: 9783528147181
• ISBN: 3528147180
• ID: 03617695
• Nakladateľ: Vieweg+teubner Verlag
• Hmotnosť: 334 g
• Rozmery: 244 × 170 × 15 mm
• Dátum vydania: 01. October 1991

Obľúbené z iného súdka

---

---

---