Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Ane Mette Hol
Welchen Stellenwert hat die Kopie im Verhältnis zum Original? Welche Rolle spielt das Original, wenn es hinter perfekten Reproduktionen verschwindet? Wie beeinflussen mediale Umsetzungen die Wahrnehmung? Ane Mette Hols Kunst stellt diese Fragen, indem sie exakte Doppelgänger von Bildern, Fotografien, Texten, Filmen oder Buchseiten erstellt. Das ist durch Hols reduzierte Präzision auch fesselnd. In ihrer Paradoxalität sind ihre Werke (nicht) Magrittes Pfeife für das 21. Jahrhundert. Auch die Publikation arbeitet mit dieser Strategie: Sie bietet nicht nur eine Werkschau der letzten zwei Schaffensjahre Hols, sondern wird auch selbst Teil dieses dialektischen Spiels. Einige der Buchseiten hat Hol selbst noch einmal reproduziert, um sie als kopierte Originale einer Kopie in den Katalog zu integrieren.
Isabelle/HOL
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel’s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the ?y, but hardly anybody does that. Wenzel’s dedicated syntax is elegant, rep...
La Città dell'Oro
Una esotica avventura
