Bücher von Ernst-Erich Doberkat

Dieses Buch gibt eine deutsch-arabische Einführung in die Programmierung mit Python. Die deutsche Fassung und die arabische entsprechen einander genau, sodass die arabischsprachige Lektüre auch mit der deutschen Terminologie vertraut machen soll.Die Konstruktion von Programmen und Objekten wird im Einzelnen genau diskutiert, meist im konstruktiven Dialog zwischen zwei Gesprächspartnern, Charli und Trullo, wobei Trullo zu Beginn ein blanker Anfänger ist, der im Laufe des Buches an Statur gewinnt und dessen Kenntnisse mit seiner Kritikfähigkeit zunehmen. Es handelt sich um eine erste elementare Einführung, die keine Vorkenntnisse erforderlich macht, auch nicht der Mathematik. Die Installation von Python wird ausführlich beschrieben, auch für Smartphones.

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.