Martin Eric Müller – författare
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
561 kr
Skickas inom 10-15 vardagar
687 kr
Läs direkt efter köp
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
308 kr
Skickas inom 10-15 vardagar
306 kr
Läs direkt efter köp
Dieses Lehrbuch behandelt zunächst zentrale Themen der klassischen Theoretischen Informatik und führt darauf aufbauend in die Grundlagen der Algorithmischen Informationstheorie ein. Behandelt werden insbesondere die Fragestellungen:
- Was sind Algorithmen? Was können sie und wo liegen ihre Grenzen?
- Welche Aussagen sind über die Laufzeit möglich? Welches sind die wichtigsten Komplexitätsklassen? Was bedeuten diese für Theorie und Praxis?
- Wie kann die strukturelle Komplexität von Daten beschrieben und analysiert werden?
Das Buch richtet sich an Studierende in Mathematik- und Informatik-Studiengängen, die entsprechende Lehrveranstaltungen an Hochschulen aller Art besuchen oder sich unabhängig davon weiterbilden möchten. Alle formalen Grundlagen werden mathematisch präzise und ausführlich dargestellt bzw. bewiesen, viele detaillierte Erklärungen und Querverweise erleichtern dabei das Verständnis der Zusammenhänge. Dadurch ist das Buch auch für Studierende der Informatik mit Fokus auf aktuelle praktische Problemstellungen und Anwendungsmöglichkeiten, etwa im Bereich der Datenanalyse, gut zugänglich.
Das Lehrbuch ist hervorragend zum Selbststudium geeignet. Jedes Kapitel beginnt mit einer kurzen Motivation des folgenden Inhalts. Ausführliche Erklärungen fördern das Verständnis, viele Beispiele und Aufgaben dienen der Festigung des Wissens und dem Einüben der dargestellten Methoden und Verfahren. Zu fast allen Aufgaben sind im Text oder am Ende des Buches Musterlösungen aufgeführt. Zusammenfassungen am Kapitelende bieten darüber hinaus Gelegenheit, den Stoff zu reflektieren.