Martin Hofmann

Martin Lange

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Automatentheorie und Logik

Valentin Goranko

Stéphane Demri

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

Temporal Logics in Computer Science

Michel de Montaigne hat mit seinen Essais eine Form des Schreibens erfunden, die früh auch in England Fuß fasst. Entscheidend für die innovative Form ist eine Neubestimmung des Verhältnisses zwischen Öffentlichkeit und Privatheit. Die Relevanz der Kategorien Öffentlichkeit und Privatheit ist in der Forschung zu Montaigne und zur Geschichte des Essays bislang unterbelichtet geblieben. Die Arbeit erschließt ihre Semantik bei Montaigne und arbeitet sie als zentrales Element der Formgebung der Essais heraus. Wie an John Florios früher Montaigne-Übersetzung gezeigt wird, etabliert sich die neue Form schnell in England. Ihrer Funktion wird anhand einer vergleichenden Analyse der moralphilosophischen und politischen Reflexion bei Montaigne und seinen Lesern Francis Bacon und William Cornwallis nachgegangen. Michel de Montaigne is credited with the invention of the genre of the essay. The novelty of Montaigne's Essais is closely linked to his perception of the relation between the public and the private spheres. The present study offers an analysis of the semantics of publicness and privateness at work in shaping the new literary form of the essay in the writings of Montaigne and his English readers, John Florio, Francis Bacon and William Cornwallis.

Martin Lange

Books

Your next favorite book is out there