10 Ergebnisse.

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 repräsentiert wird. Es wird eine Einführung in die Technik der Gewinnung und der Manipulation erzeugender Funktionen gegeben, wichtige Folgen und ihre korrespondierenden Funktionen werden behandelt.

This book develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, it examines congruences and morphisms. It applies these topics to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. Developments from the general theory of coalgebras in the context of the subprobabili...

Dieses Buch macht einen Spaziergang durch die vielfältige Welt der Zahl Drei. Sie zeigt sich hierbei in vielen unterschiedlichen Verkleidungen, denn von der Musik über die bildende Kunst bis hin zur Geschichte spielt die Drei eine wichtige, meist unverzichtbare Rolle. Das Buch geht darauf ein und zeigt, dass diese Zahl bemerkenswerte Eigenschaften hat, die auch Nicht-Mathematikern zugänglich sind und die hier im leichten Ton des Spaziergängers...

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...

Collecting information previously scattered throughout the vast literature, including the authora (TM)s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies the...

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously no...

Haskell gilt als schwer zu lernende Sprache. Das muß nicht sein, wie dieses Buch zeigt. Der Verfasser nimmt die Leser mit auf eine Reise ins Land der funktionalen Programmierung. Er zeigt, daß viele aus der objektorientierten Programmierung bekannten Algorithmen und Datenstrukturen knapp, durchsichtig und elegant formuliert werden können, ohne an Effizienz oder Verständlichkeit zu verlieren. Ausführliche Fallstudien begleiten die Einführung in...

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.Using motivations, rigorous definitions, proofs and various examples, the author systematically introduces the Axiom of Choice, explains Banach-Mazur ...

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously no...

Der Werkzeugkasten der Methoden zur objektorientierten Softwarekonstruktion hat sich in der täglichen Praxis des Softwareingenieurs als Kollektion recht wirkungsvoller Hilfsmittel erwiesen. Diese Methoden helfen bei der Konstruktion korrekter, zuverlässiger und wiederverwendbarer Software. Sie begleiten die Konstruktion von der Analyse, also den ersten Ideen eines Programms, über den Entwurf bis hin zur Implementierung. Die Objektorientierung ...