Ernst-Erich Doberkat – författare

Visar alla böcker från författaren Ernst-Erich Doberkat. Handla med fri frakt och snabb leverans.

29 produkter

Kategorier

29 produkter

Stochastic Relations
Foundations for Markov Transition Systems
AvErnst-Erich Doberkat
Häftad, Engelska, 2019
989 kr
Skickas inom 10-15 vardagar
Collecting information previously scattered throughout the vast literature, including the author’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 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. With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory.
Stochastic Relations
Foundations for Markov Transition Systems
AvErnst-Erich Doberkat
E-bok
Engelska, 2007
1 157 kr
Läs direkt efter köp
Collecting information previously scattered throughout the vast literature, including the author''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
Stochastic Relations
Foundations for Markov Transition Systems
AvErnst-Erich Doberkat
E-bok
PDF, Engelska, 2007
1 169 kr
Läs direkt efter köp
Collecting information previously scattered throughout the vast literature, including the author''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
Python 3
AvErnst-Erich Doberkat
Häftad, Tyska, 2018
530 kr
Skickas inom 5-8 vardagar
Python 3
Ein Lern- und Arbeitsbuch
AvErnst-Erich Doberkat
E-bok
PDF, Tyska, 2018
610 kr
Läs direkt efter köp
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
Python 3
Ein Lern- und Arbeitsbuch
AvErnst-Erich Doberkat
E-bok
Tyska, 2018
610 kr
Läs direkt efter köp
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
Special Topics in Mathematics for Computer Scientists
Sets, Categories, Topologies and Measures
AvErnst-Erich Doberkat
Inbunden, Engelska, 2015
658 kr
Skickas inom 10-15 vardagar
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.
Special Topics in Mathematics for Computer Scientists
Sets, Categories, Topologies and Measures
AvErnst-Erich Doberkat
E-bok
PDF, Engelska, 2015
710 kr
Läs direkt efter köp
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.
Special Topics in Mathematics for Computer Scientists
Sets, Categories, Topologies and Measures
AvErnst-Erich Doberkat
Häftad, Engelska, 2016
551 kr
Skickas inom 10-15 vardagar
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.
Das siebte Buch: Objektorientierung mit C++
AvErnst-Erich Doberkat
E-bok
PDF, Tyska, 2013
439 kr
Läs direkt efter köp
Software Prototyping mit SETL
AvDietmar Fox,Ernst-Erich Doberkat
E-bok
PDF, Tyska, 2013
542 kr
Läs direkt efter köp
Einführung in Die Objektorientierte Programmierung Mit Java
AvErnst-Erich Doberkat,Stefan Dißmann
Inbunden, Tyska, 2002
1 419 kr
Skickas inom 3-6 vardagar
Einführung in die objektorientierte Programmierung mit Java
AvStefan Dimann,Ernst-Erich Doberkat
E-bok
PDF, Tyska, 2009
1 699 kr
Läs direkt efter köp

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

Im Zuge der Implementierung werden nahezu alle Konstrukte der Sprache Java vorgestellt und eingesetzt, so daß der Leser eine umfassende Einführung erhält:
Primitive Typen und Felder, bedingte Anweisungen, Iteration und Rekursion, Klassen mit Attributen und Methoden, Vererbung, abstrakte Klassen, Interfaces und Pakete, Ausnahmebehandlung und Nebenläufigkeit
Haskell
AvErnst-Erich Doberkat
Inbunden, Tyska, 2012
528 kr
Skickas inom 5-8 vardagar
Haskell
Eine Einführung für Objektorientierte
AvErnst-Erich Doberkat
E-bok
PDF, Tyska, 2012
460 kr
Läs direkt efter köp
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 die Sprache wie Sehenswürdigkeiten. Hierzu gehören die Diskussion der Vignére-Verschlüsselung, die Huffman-Codierung, der Algorithmus von Kruskal und die Erzeugung der Tabellen eines Parsers. Zum Abschluß werden Monaden eingeführt, eingängige Beispiele zeigen, wie man mit diesem mächtigen Instrument umgehen kann. Das Buch wendet sich an Studenten der Informatik nach dem ersten Studienjahr, die bereits eine objektorientierte Sprache kennengelernt haben. Der Text enthält mehr als siebzig Übungsaufgaben. Lösungen sind auf einer eigenen web site zu finden. Das Buch geht auch auf praktische Aspekte der Interpretation von Haskell ein.
Software Prototyping mit SETL
AvErnst-Erich Doberkat,Dietmar Fox
Häftad, Tyska, 1989
513 kr
Skickas inom 10-15 vardagar
Das siebte Buch: Objektorientierung mit C++
AvErnst-Erich Doberkat
Häftad, Tyska, 2000
424 kr
Skickas inom 10-15 vardagar
Eine sanfte und zum Selbststudium gedachte Einführung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschnitte folgt dem Schema, dass Syntax und Semantik der entsprechenden Sprachkonstrukte jeweils aus einem Beispiel entwickelt werden, und dass sich etwa Weiterungen aus der Erweiterung der Problemstellung ergeben. An Hand zahlreicher Beispiele und Übungsaufgaben können die vorgestellten Themen nachvollzogen und geübt werden.
Stochastic Coalgebraic Logic
AvErnst-Erich Doberkat
Inbunden, Engelska, 2009
1 092 kr
Skickas inom 10-15 vardagar
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 not available in a purely probabilistic setting.This 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.The book will be of interest to researchers in theoretical computer science, logic and category theory.
Stochastic Coalgebraic Logic
AvErnst-Erich Doberkat
E-bok
PDF, Engelska, 2009
1 413 kr
Läs direkt efter köp
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 not available in a purely probabilistic setting.
This 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.
The book will be of interest to researchers in theoretical computer science, logic and category theory.
Stochastic Coalgebraic Logic
AvErnst-Erich Doberkat
Häftad, Engelska, 2012
1 092 kr
Skickas inom 10-15 vardagar
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 not available in a purely probabilistic setting.This 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.The book will be of interest to researchers in theoretical computer science, logic and category theory.
Die Drei
Ein Streifzug durch die Rolle der Zahl in Kunst, Kultur und Geschichte
AvErnst-Erich Doberkat
Häftad, Tyska, 2019
514 kr
Skickas inom 10-15 vardagar
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.So wird aus der Diskussion der Zahl Drei ein Streifzug durch vertrautes Gelände mit unerwarteten Ausblicken.
Die Drei
Ein Streifzug durch die Rolle der Zahl in Kunst, Kultur und Geschichte
AvErnst-Erich Doberkat
E-bok
PDF, Tyska, 2019
507 kr
Läs direkt efter köp
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. So wird aus der Diskussion der Zahl Drei ein Streifzug durch vertrautes Gelände mit unerwarteten Ausblicken.
Erzeugende Funktionen verständlich erklärt
AvErnst-Erich Doberkat
Häftad, Tyska, 2022
159 kr
Skickas inom 10-15 vardagar
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.
Erzeugende Funktionen verständlich erklärt
AvErnst-Erich Doberkat
E-bok
Tyska, 2022
143 kr
Läs direkt efter köp
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.
Trullo jagt die Python
Eine elementare Einführung in die Programmierung mit Python
AvErnst-Erich Doberkat
Häftad, Tyska, 2024
404 kr
Skickas inom 10-15 vardagar
Dieses Buch ist eine erste Einführung in die Programmierung mit der Sprache Python. Es beginnt ganz elementar, es sind keine Vorkenntnisse erforderlich, auch nicht der Mathematik. Die Installation von Python wird ausführlich beschrieben, auch für Smartphones.Die Konstruktion von Programmen und Objekten wird im Einzelnen genau diskutiert, meist im konstruktiven Dialog zwischen zwei Gesprächspartnern, Charli und Trullo. Trullo ist zu Beginn ein blanker Anfänger, der im Laufe des Buches an Statur gewinnt. Seine Kenntnisse und auch seine Urteilsfähigkeit nehmen im Laufe der Diskussion zu. Zum Schluss wird gezeigt, wie Python bei der Lösung elementarer mathematischer Probleme helfen kann, also beim Lösen von Gleichungen, bei der Konstruktion von Dreiecken und der Verschlüsselung von Nachrichten.
Trullo jagt die Python
Eine elementare Einführung in die Programmierung mit Python
AvErnst-Erich Doberkat
E-bok
PDF, Tyska, 2024
390 kr
Läs direkt efter köp
Dieses Buch ist eine erste Einführung in die Programmierung mit der Sprache Python. Es beginnt ganz elementar, es sind keine Vorkenntnisse erforderlich, auch nicht der Mathematik. Die Installation von Python wird ausführlich beschrieben, auch für Smartphones.
Die Konstruktion von Programmen und Objekten wird im Einzelnen genau diskutiert, meist im konstruktiven Dialog zwischen zwei Gesprächspartnern, Charli und Trullo. Trullo ist zu Beginn ein blanker Anfänger, der im Laufe des Buches an Statur gewinnt. Seine Kenntnisse und auch seine Urteilsfähigkeit nehmen im Laufe der Diskussion zu. Zum Schluss wird gezeigt, wie Python bei der Lösung elementarer mathematischer Probleme helfen kann, also beim Lösen von Gleichungen, bei der Konstruktion von Dreiecken und der Verschlüsselung von Nachrichten.
Formale Logik im Dialog
Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
AvErnst-Erich Doberkat
Häftad, Tyska, 2026
401 kr
Skickas inom 10-15 vardagar
Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einführung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behandelt zentrale Themen wie Aussagenlogik, Prädikatenlogik erster Stufe, modale Logiken sowie koalgebraische Logiken – stets mit Blick auf ihre Relevanz für die Praxis.Die Softwaretechnik entwickelt sich zunehmend in Richtung formaler Methoden. Dieses Buch trägt dem Rechnung, indem es Studierenden und Praktiker*innen ein solides formales Fundament vermittelt. Es richtet sich an alle, die die theoretischen Grundlagen verstehen und anwenden möchten, um robuste, nachvollziehbare und zukunftsfähige Softwarelösungen zu entwickeln.Ein besonderes Augenmerk liegt auf der wachsenden Bedeutung symbolischer Verfahren im Zusammenspiel mit sub-symbolischen Ansätzen, wie sie in aktuellen Entwicklungen der Künstlichen Intelligenz sichtbar werden. Damit schlägt das Buch eine Brücke zwischen klassischer Logik und modernen Technologien – und eröffnet alternative Wege für eine neue Generation von Informatiker*innen.
Formale Logik im Dialog
Aussagenlogik, Pradikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewurzt
AvErnst-Erich Doberkat
E-bok
PDF, Tyska, 2026
399 kr
Läs direkt efter köp
Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einfuhrung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behandelt zentrale Themen wie Aussagenlogik, Pradikatenlogik erster Stufe, modale Logiken sowie koalgebraische Logiken - stets mit Blick auf ihre Relevanz fur die Praxis.Die Softwaretechnik entwickelt sich zunehmend in Richtung formaler Methoden. Dieses Buch tragt dem Rechnung, indem es Studierenden und Praktiker*innen ein solides formales Fundament vermittelt. Es richtet sich an alle, die die theoretischen Grundlagen verstehen und anwenden mochten, um robuste, nachvollziehbare und zukunftsfahige Softwarelosungen zu entwickeln.Ein besonderes Augenmerk liegt auf der wachsenden Bedeutung symbolischer Verfahren im Zusammenspiel mit sub-symbolischen Ansatzen, wie sie in aktuellen Entwicklungen der Kunstlichen Intelligenz sichtbar werden. Damit schlagt das Buch eine Brucke zwischen klassischer Logik und modernen Technologien - und eroffnet alternative Wege fur eine neue Generation von Informatiker*innen.
Stochastic Relations
Foundations for Markov Transition Systems
AvErnst-Erich Doberkat
Inbunden, Engelska, 2007
1 459 kr
Tillfälligt slut
Collecting information previously scattered throughout the vast literature, including the author’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 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. With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory.

Ernst-Erich Doberkat – författare

Stochastic Relations

Stochastic Relations

Stochastic Relations

Python 3

Python 3

Python 3

Special Topics in Mathematics for Computer Scientists

Special Topics in Mathematics for Computer Scientists

Special Topics in Mathematics for Computer Scientists

Das siebte Buch: Objektorientierung mit C++

Software Prototyping mit SETL

Einführung in Die Objektorientierte Programmierung Mit Java

Einführung in die objektorientierte Programmierung mit Java

Haskell

Haskell

Software Prototyping mit SETL

Das siebte Buch: Objektorientierung mit C++

Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic

Stochastic Coalgebraic Logic

Die Drei

Die Drei

Erzeugende Funktionen verständlich erklärt

Erzeugende Funktionen verständlich erklärt

Trullo jagt die Python

Trullo jagt die Python

Formale Logik im Dialog

Formale Logik im Dialog

Stochastic Relations