Bücher von Ernst-Erich Doberkat

Erzeugende Funktionen sind ein wichtiges Werkzeug in der Kombinatorik und der Theoretischen Informatik. Das Buch zeigt an vielen Beispielen, wie man dieses Werkzeug verwendet, mit dem eine Folge reeller Zahlen durch eine einzige Funktion reprasentiert wird. Es wird eine Einfuhrung in die Technik der Gewinnung und der Manipulation erzeugender Funktionen gegeben; wichtige Folgen und ihre korrespondierenden Funktionen werden behandelt.

Das Buch führt in die wesentlichen Teile der sehr umfangreichen Programmiersprache Python ein. Konzepte werden an Beispielen ausführlich dargestellt, um dem Leser die Möglichkeiten und Grenzen aufzuzeigen, und um ihm ein Gefühl dafür zu geben, was man damit machen kann. Dabei wird großer Wert auf die möglichen Anwendungen gelegt wie z.B. die objektorientierte Programmierung. Sorgfältig ausgewählte Aufgaben helfen zur Vertiefung. Python enthält eine außerordentlich umfangreiche Kollektion von Bibliotheken, die angemessen ausgewählt, importiert und benutzt werden wollen. Auch das wird thematisiert. Aus dem Inhalt: 1. Einführung in die Elemente der Sprache _ Programmierumgebung (und Installation); verfügbare Dokumentation und ihre Handhabung _ Datenstrukturen _ Kontrollstrukturen _ Defnition von Funktionen, funktionale Aspekte der Sprache _ Iteratoren und Generatoren _ Namensrräume _ Module und Importmechanismen 2. Objektorientierung _ Objekte und Vererbung _ Realisierung abstrakter Datentypen _ Ausnahmen 3. Ausgewählte Bibliotheken in Ansätzen dargestellt _ Numpy und Panda zur Manipulation von Daten _ Matplotlib zur graphischen Darstellung von Daten _ Scikit-learn zur Daten-Analyse _ SymPy zur symbolischen Manipulation

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems.

Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.