{"product_id":"9780262511681","title":"Metalogik und logische Programmierung (überarbeitet)","description":"\u003ctable\u003e\u003ctbody\u003e\n\n\u003ctr\u003e\n\n\u003ctd style=\"\"\u003e \u003cstrong\u003eAutor\/Mitwirkende(r):\u003c\/strong\u003e\n\u003c\/td\u003e\n\n\u003ctd style=\"\"\u003e Apt, Krzysztof R.; Turini, Franco\u003cbr\u003e\n\n\u003c\/td\u003e\n\n\n\u003c\/tr\u003e\n\n\u003ctr\u003e\n\n\u003ctd style=\"\"\u003e \u003cstrong\u003eHerausgeber:\u003c\/strong\u003e\n\u003c\/td\u003e\n\n\u003ctd\u003e MIT Press\u003cbr\u003e\n\n\u003c\/td\u003e\n\n\n\u003c\/tr\u003e\n\n\u003ctr\u003e\n\n\u003ctd style=\"\"\u003e \u003cstrong\u003eDatum:\u003c\/strong\u003e\n\u003c\/td\u003e\n\n\u003ctd\u003e 17.03.2003\u003cbr\u003e\n\n\u003c\/td\u003e\n\n\n\u003c\/tr\u003e\n\n\u003ctr\u003e\n\n\u003ctd style=\"\"\u003e \u003cstrong\u003eBindung:\u003c\/strong\u003e\n\u003c\/td\u003e\n\n\u003ctd style=\"\"\u003e Taschenbuch\u003c\/td\u003e\n\n\n\u003c\/tr\u003e\n\n\u003ctr\u003e\n\n\u003ctd style=\"\"\u003e \u003cstrong\u003eZustand:\u003c\/strong\u003e\n\u003c\/td\u003e\n\n\u003ctd style=\"\"\u003e NEU\u003cbr\u003e\n\n\u003c\/td\u003e\n\n\n\u003c\/tr\u003e\n\n\n\u003c\/tbody\u003e\u003c\/table\u003e \u003cp\u003e\u003ci\u003eMeta-Logics and Logic Programming\u003c\/i\u003e untersucht Metaprogrammierung innerhalb des Paradigmas der logischen Programmierung und präsentiert Originalforschung zu einer wichtigen Erweiterung der logischen Programmierung, die sie für die Wissensdarstellung und Programmierung im Allgemeinen zugänglicher macht. Die 12 Beiträge, von denen viele speziell für dieses Buch geschrieben wurden, untersuchen die Grundlagen, Sprachdesignprobleme und Anwendungen der Metaprogrammierung in der logischen Programmierung. Metaprogrammierung – der Prozess des Schreibens von Computerprogrammen, die Darstellungen anderer Programme manipulieren können – war sowohl für die Grundlagen der Informatik als auch für ihre praktische Entwicklung von entscheidender Bedeutung. Beispiele für Metaprogramme sind Compiler, Interpreter, Programmanalysatoren und partielle Evaluatoren. Die Wahl der logischen Programmierung als Grundlage für Metaprogrammierung bietet mehrere praktische und theoretische Vorteile: darunter die Möglichkeit, kritische grundlegende Probleme der Metaprogrammierung innerhalb eines starken theoretischen Rahmens anzugehen, und die überraschende Leichtigkeit der Programmierung. Der übliche Rahmen der logischen Programmierung (und allgemeiner der Prädikatenlogik erster Ordnung) muss jedoch geändert und erweitert werden, um Metaprogramme formal behandeln zu können, Erweiterungen, die die Herausgeber Metalogiken nennen. Neben einer Erforschung der Metaprogrammierung in der logischen Programmierung bilden die Definitionen, formalen Eigenschaften und die Verwendung dieser Erweiterungen eines der Hauptthemen des Buches. Der erste Teil des Buches, Grundlagen, konzentriert sich auf das Darstellungsproblem – wie Objektprogramme innerhalb von Metaprogrammen dargestellt werden. Der zweite Teil, Sprachunterstützung für Metalogiken, beschäftigt sich mit Spracherweiterungen, die die Metaprogrammierung einfacher und eleganter machen. Der dritte Teil, Metalogiken für das Wissensmanagement, beschäftigt sich mit der Verwendung von Metalogik für erweiterte Zwecke der Wissensdarstellung.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":42899648315647,"sku":"9780262511681","price":45.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0452\/0886\/2873\/products\/9780262511681-us-300_530fcacc-d52b-4052-8664-383980e0d3f8.jpg?v=1654561250","url":"https:\/\/massivebookshop.com\/de\/products\/9780262511681","provider":"MASSIVE BOOKSHOP","version":"1.0","type":"link"}