Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakult t f r Informatik der Universit t T bingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern k nnte dieses Buch aber auch f r alle, die sich mit formalen Systemen besch ftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einf hrung in das Gebiet der Termersetzungssysteme. Dennoch setzt es ei- nige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verst ndnis der Pr dikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zun chst als Einf hrung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbst ndig aktuelle Forschungspublika- tionen zu studieren. Systeme zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation geh rt zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage f r seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist u erst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifi- kationen haben den unbestreitbaren Vorteil, da sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind forma- 2 le Spezifikationen f r Unge bte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.