{"title":"Ernst-Erich Doberkat","description":null,"products":[{"product_id":"python-3-book-ernst-erich-doberkat-9783110544121","title":"Python 3","description":"\u003cp\u003eDas Buch führt in die wesentlichen Teile der sehr umfangreichen Programmiersprache Python ein.\u003c\/p\u003e \u003cp\u003eKonzepte werden an Beispielen ausführlich dargestellt, um dem Leser die Möglichkeiten\u003c\/p\u003e \u003cp\u003eund Grenzen aufzuzeigen, und um ihm ein Gefühl dafür zu geben, was man damit machen\u003c\/p\u003e \u003cp\u003ekann. 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.\u003c\/p\u003e \u003cp\u003ePython enthält eine außerordentlich umfangreiche Kollektion von Bibliotheken, die angemessen ausgewählt, importiert und benutzt werden wollen. Auch das wird thematisiert.\u003c\/p\u003e \u003cp\u003eAus dem Inhalt:\u003c\/p\u003e \u003cul\u003e \u003cli\u003e1. Einführung in die Elemente der Sprache\u003c\/li\u003e \u003cli\u003e_ Programmierumgebung (und Installation); verfügbare Dokumentation und ihre\u003c\/li\u003e \u003cli\u003eHandhabung\u003c\/li\u003e \u003cli\u003e_ Datenstrukturen\u003c\/li\u003e \u003cli\u003e_ Kontrollstrukturen\u003c\/li\u003e \u003cli\u003e_ Defnition von Funktionen, funktionale Aspekte der Sprache\u003c\/li\u003e \u003cli\u003e_ Iteratoren und Generatoren\u003c\/li\u003e \u003cli\u003e_ Namensrräume\u003c\/li\u003e \u003cli\u003e_ Module und Importmechanismen\u003c\/li\u003e \u003cli\u003e2. Objektorientierung\u003c\/li\u003e \u003cli\u003e_ Objekte und Vererbung\u003c\/li\u003e \u003cli\u003e_ Realisierung abstrakter Datentypen\u003c\/li\u003e \u003cli\u003e_ Ausnahmen\u003c\/li\u003e \u003cli\u003e3. Ausgewählte Bibliotheken in Ansätzen dargestellt\u003c\/li\u003e \u003cli\u003e_ Numpy und Panda zur Manipulation von Daten\u003c\/li\u003e \u003cli\u003e_ Matplotlib zur graphischen Darstellung von Daten\u003c\/li\u003e \u003cli\u003e_ Scikit-learn zur Daten-Analyse\u003c\/li\u003e \u003cli\u003e_ SymPy zur symbolischen Manipulation\u003c\/li\u003e \u003c\/ul\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51187728515345,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51187730678033,"sku":"NIN9783110544121","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52654548582673,"sku":"NLS9783110544121","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3110544121.jpg?v=1750998550"},{"product_id":"erzeugende-funktionen-verstandlich-erklart-book-ernst-erich-doberkat-9783662651629","title":"Erzeugende Funktionen verstandlich erklart","description":"Definition erzeugender Funktionen, die exponentielle Variante.- Erzeugende Funktionen f r wichtige Folgen (Stirling, Fibonacci, Bernoulli, Catalan).- Techniken zur Manipulation erzeugender Funktionen.- Erzeugende Funktionen f r einfache Z hlprobleme und Analyse von Algorithmen.- Gewinnung von Folgen aus erzeugenden Funktionen.- Python-Programme f r die wesentlichen Entwicklungen.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127759008017,"sku":"NLS9783662651629","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662651629.jpg?v=1757487865"},{"product_id":"praktischer-uebersetzerbau-book-ernst-erich-doberkat-9783519022886","title":"Praktischer UEbersetzerbau","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52141743702289,"sku":"NLS9783519022886","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783519022886.jpg?v=1786087919"},{"product_id":"software-prototyping-mit-setl-book-ernst-erich-doberkat-9783519022725","title":"Software Prototyping mit SETL","description":"wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der disk: reten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vOIhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Back- tracking. Die DRSL erlaubt die Deldaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeldaration in Sprachen wie Pascal); sie ist in der gegenwartigen Fonn nicht besonders nUtzlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollstandige EinfUluung in SETL gegeben; ein kurzer Uberblick uber den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wtr wenden das auf die Konstruktion eines Scanners fOl Pascal-Programme an, urn zu zeigen, daB man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Erganzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel m wendet dann die Sprache auf einige Probleme an, urn dem Leser ein vertieftes Geftlhl fur den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustem in Zeichenketten, ein Verfahren zurn dynamischen Hashing, und spezifizieren einen Parsergenerator fur eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verstandlich in SETL fonnulieren lassen.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52410512572689,"sku":"NLS9783519022725","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783519022725.jpg?v=1790201824"},{"product_id":"einfuhrung-in-die-objektorientierte-programmierung-mit-java-book-ernst-erich-doberkat-9783486253429","title":"Einfuhrung in Die Objektorientierte Programmierung Mit Java","description":"\u003cp\u003eDieses Lehrbuch führt Anfänger schrittweise in die allgemeinen Konzepte des strukturierten und objektorientierten Programmierens ein. Die praktische Anwendung der Konzepte erfolgt anhand von Beispielentwicklungen in der Programmiersprache Java. Der Leser erwirbt so gleichermaßen Fähigkeiten im konzeptionellen wie im programmiersprachlichen Bereich. Die vorgestellten Beispiele realisieren Algorithmen und Datenstrukturen aus den Bereichen Suchen, Sortieren und der Analyse von Graphen. Die Implementierungen setzen die softwaretechnischen Prinzipien der Kapselung und Abschottung um und erläutern dabei die Grundlagen einer objektorientierten Programmgestaltung.\u003c\/p\u003e \u003cp\u003eIm Zuge der Implementierung werden nahezu alle Konstrukte der Sprache Java vorgestellt und eingesetzt, so daß der Leser eine umfassende Einführung erhält:\u003c\/p\u003e \u003cul\u003e \u003cli\u003ePrimitive Typen und Felder,\u003c\/li\u003e \u003cli\u003ebedingte Anweisungen, Iteration und Rekursion,\u003c\/li\u003e \u003cli\u003eKlassen mit Attributen und Methoden,\u003c\/li\u003e \u003cli\u003eVererbung, abstrakte Klassen, Interfaces und Pakete,\u003c\/li\u003e \u003cli\u003eAusnahmebehandlung und Nebenläufigkeit\u003c\/li\u003e \u003c\/ul\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52432918642961,"sku":"NLS9783486253429","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52849973068049,"sku":"NIN9783486253429","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783486253429.jpg?v=1759176371"},{"product_id":"stochastic-relations-book-ernst-erich-doberkat-9780367389116","title":"Stochastic Relations","description":"\u003cp\u003eCollecting information previously scattered throughout the vast literature, including the author’s own research, \u003cb\u003eStochastic Relations: Foundations for Markov Transition Systems\u003c\/b\u003e develops the theory of stochastic relations as a basis for Markov transition systems.\u003c\/p\u003e\u003cp\u003eAfter an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. These tools show that bisimilarity and behavioral and logical equivalence are the same for general modal logics and for continuous time stochastic logic with and without a fixed point operator. \u003c\/p\u003e\u003cp\u003eWith numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52520905900305,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52520906359057,"sku":"NLS9780367389116","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780367389116.jpg?v=1785905508"},{"product_id":"stochastic-coalgebraic-logic-book-ernst-erich-doberkat-9783642261473","title":"Stochastic Coalgebraic Logic","description":"\u003cp\u003eCoalgebraic 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 not available in a purely probabilistic setting.\u003c\/p\u003e\n\u003cp\u003eThis book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight into the principles of coalgebraic logic from a categorical point of view, and applies these systems to interpretations of stochastic coalgebraic logics, which include well-known modal logics and continuous time branching logics. The author introduces stochastic systems together with their probabilistic and categorical foundations and gives a comprehensive discussion of the Giry monad as the underlying categorical construction, presenting many new, hitherto unpublished results. He discusses modal logics, introduces their probabilistic interpretations, and then proceeds to an analysis of Kripke models for coalgebraic logics.\u003c\/p\u003e\n\u003cp\u003eThe book will be of interest to researchers in theoretical computer science, logic and category theory.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52522632511761,"sku":"NLS9783642261473","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642261473.jpg?v=1786700719"},{"product_id":"die-drei-book-ernst-erich-doberkat-9783662587874","title":"Die Die Drei","description":"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 ausgebreitet werden: Musikalische Harmonien werden mathematisch gedeutet, die Konstruktion von Fraktalen wird durch einfache Programme demonstriert, ein berühmtes Gemälde der italienischen Renaissance wird in Bezug auf die Drei analysiert, die antike chinesische Wehrtechnik wird mit moderner, effizienter Computerarithmetik zusammengeführt. Papierfaltungen, die Heiligen Drei Könige sowie die päpstliche Tiara dürfen hier natürlich nicht fehlen. Der mathematischen Sorgfalt, der Vorgehensweise und den Techniken der Mathematik wird besonderes Augenmerk gewidmet, ohne dass der Text durch mathematische Einzelheiten überladen wird.\u003cbr\u003e So wird aus der Diskussion der Zahl Drei ein Streifzug durch vertrautes Gelände mit unerwarteten Ausblicken.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52586534404369,"sku":"NLS9783662587874","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662587874.jpg?v=1789479997"},{"product_id":"special-topics-in-mathematics-for-computer-scientists-book-ernst-erich-doberkat-9783319368696","title":"Special Topics in Mathematics for Computer Scientists","description":"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 games and the Axiom of Determinacy, discusses the basic constructions of sets and the interplay of coalgebras and Kripke models for modal logics with an emphasis on Kleisli categories, monads and probabilistic systems. The text further shows various ways of defining topologies, building on selected topics like uniform spaces, Gödel’s Completeness Theorem and topological systems. Finally, measurability, general integration, Borel sets and measures on Polish spaces, as well as the coalgebraic side of Markov transition kernels along with applications to probabilistic interpretations of modal logics are presented. Special emphasis is given to the integration of (co-)algebraic and measure-theoretic structures, a fairly new and exciting field, which is demonstrated through the interpretation of game logics. Readers familiar with basic mathematical structures like groups, Boolean algebras and elementary calculus including mathematical induction will discover a wealth of useful research tools. Throughout the book, exercises offer additional information, and case studies give examples of how the techniques can be applied in diverse areas of theoretical computer science and logics. References to the relevant mathematical literature enable the reader to find the original works and classical treatises, while the bibliographic notes at the end of each chapter provide further insights and discussions of alternative approaches.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52599948378385,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52599949263121,"sku":"NLS9783319368696","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319368696.jpg?v=1785947379"},{"product_id":"special-topics-in-mathematics-for-computer-scientists-book-ernst-erich-doberkat-9783319227498","title":"Special Topics in Mathematics for Computer Scientists","description":"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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522590728465,"sku":"NLS9783319227498","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319227498.jpg?v=1786097943"},{"product_id":"stochastic-coalgebraic-logic-book-ernst-erich-doberkat-9783642029943","title":"Stochastic Coalgebraic Logic","description":"\u003cp\u003eCoalgebraic 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 not available in a purely probabilistic setting.\u003c\/p\u003e\n\u003cp\u003eThis book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight into the principles of coalgebraic logic from a categorical point of view, and applies these systems to interpretations of stochastic coalgebraic logics, which include well-known modal logics and continuous time branching logics. The author introduces stochastic systems together with their probabilistic and categorical foundations and gives a comprehensive discussion of the Giry monad as the underlying categorical construction, presenting many new, hitherto unpublished results. He discusses modal logics, introduces their probabilistic interpretations, and then proceeds to an analysis of Kripke models for coalgebraic logics.\u003c\/p\u003e\n\u003cp\u003eThe book will be of interest to researchers in theoretical computer science, logic and category theory.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":53522692440337,"sku":"NLS9783642029943","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642029943.jpg?v=1789042220"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-ernst-erich-doberkat.oembed","provider":"World of Books ","version":"1.0","type":"link"}