Foundations of Equational Logic Programming (Lecture Notes in Computer Science)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Foundations of Equational Logic Programming" von Steffen Hölldobler ist ein Buch, das sich mit den theoretischen Grundlagen der äquationalen Logikprogrammierung beschäftigt. Es gehört zur Reihe "Lecture Notes in Computer Science" und bietet eine umfassende Einführung in die Prinzipien und Methoden dieser Programmierparadigmen. Das Buch behandelt die grundlegenden Konzepte der Logikprogrammierung, insbesondere unter Verwendung von Gleichungen als primäres Mittel zur Wissensdarstellung und Problemlösung. Es erklärt, wie logische Schlussfolgerungen durch das Lösen von Gleichungen gezogen werden können und welche Rolle Unifikation dabei spielt. Darüber hinaus wird auf die Semantik von Programmen eingegangen, sowie auf Algorithmen zur effizienten Implementierung solcher Systeme. Hölldobler legt besonderen Wert auf die formalen Aspekte der äquationalen Logikprogrammierung und diskutiert deren Anwendbarkeit in verschiedenen Bereichen der Informatik, einschließlich künstlicher Intelligenz und automatischer Beweisführung. Das Buch richtet sich an Studierende und Forscher im Bereich der Theoretischen Informatik, die ein tiefes Verständnis für die Mechanismen hinter der Logikprogrammierung entwickeln möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
