Special Topics in Mathematics for Computer Scientists

Sprache: Englisch

Verlag: Springer, Springer Nov 2015, 2015

3319227491 / 9783319227498

Anbieter: Wegmann1855, Zwiesel, DeutschlandWegmann1855

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Juni 2022

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Neu

EUR 64,19

EUR 25,95 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb

Artikelbeschreibung vom Verkäufer

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

Bestandsnummer des Verkäufers 9783319227498

Titel
Special Topics in Mathematics for Computer Scientists
Autor
Ernst-Erich Doberkat
Verlag
Springer, Springer Nov 2015
Veröffentlichungsjahr
2015
Zustand
Neu
Einband
Buch
Sprache
Englisch
ISBN-10
3319227491
ISBN-13
9783319227498
Artikelgewicht
1.262 Gramm
Abmessungen
241x160x45 mm

Wegmann1855

Zwiesel, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Juni 2022

Versandkosten von Deutschland nach USA

Artikel9 bis 30 Werktage8 bis 14 Werktage
Erster ArtikelEUR 25,95EUR 32,95
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • Bar
  • Nachnahme
  • PayPal
  • Vorauskasse

Shop-Beschreibung

Die Schreibwaren sind im Büro, in der Schule und Zuhause allgegenwärtig und auch im Computerzeitalter nicht aus dem Alltag wegzudenken. Schreibwaren Wegmann ist Ihr Online Shop für Bürobedarf und Schulbedarf, der das ganze Sortiment an Büromaterial und Schulsachen zu günstigen Preisen online zu kaufen bietet. In unserem ständig wachsendem Angebot im Online Shop führen wir derzeit viele tausend Büroartikel, alles rund um die Schule, Bürotechnik, Büroeinrichtung bis hin zu ausgefallenen Geschenkartikeln und Postkarten, originell oder regional aus der Region Bayerischer Wald, Böhmerwald, Arberland und Zwiesel. Schreibwaren Wegmann ist Ihr Schreibwarengeschäft. Besuchen Sie uns gerne auch persönlich in unserem Schreibwarenladen in Zwiesel am Stadtplatz 6. Wir heißen Sie herzlich willkommen. Unsere Öffnungszeiten im Schreibwarengeschäft: Montag - Freitag : 07.30 - 19.00 Uhr, Samstag 07.30 - 16.00 Uhr. Und natürlich rund um die Uhr, 24/7, im Schreibwaren Online Shop.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Metz Wegmann GmbH

Waldbahnstraße 94
Zwiesel, Deutschland 94227