LIBROS DEL AUTOR: ernst erich doberkat

6 resultados para LIBROS DEL AUTOR: ernst erich doberkat

ernst erich doberkat Eliminar filtro Quitar filtros
  • Erzeugende Funktionen verständlich erklärt
    Ernst-Erich Doberkat
    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 Entwicklunge...
    Disponible

    21,40 €

  • Stochastic Relations
    Ernst-Erich Doberkat
    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 ...
    Disponible

    117,29 €

  • Die Drei
    Ernst-Erich Doberkat
    ...
    Disponible

    56,68 €

  • Special Topics in Mathematics for Computer Scientists
    Ernst-Erich Doberkat
    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 s...
    Disponible

    88,58 €

  • Stochastic Coalgebraic Logic
    Ernst-Erich Doberkat
    Borel Sets, Measures and All That.- Modal Logics.- The Giry Monad: Randomized Morphisms.- Coalgebraic Logic. ...
    Disponible

    206,69 €

  • Software Prototyping mit SETL
    Dietmar Fox / Ernst-Erich Doberkat
    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 Speicherdar...
    Disponible

    84,96 €