Special Topics in Mathematics for Computer Scientists

Lingua: inglese

Editore: Springer Nov 2015, 2015

3319227491 / 9783319227498

Da: Wegmann1855, Zwiesel, GermaniaWegmann1855

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2022

Rilegato

Condizione: Nuovo

EUR 64,19

EUR 25,95 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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

Codice articolo 9783319227498

Titolo
Special Topics in Mathematics for Computer Scientists
Autore
Ernst-Erich Doberkat
Editore
Springer Nov 2015
Anno di pubblicazione
2015
Condizione
Neu
Rilegatura
Buch
Lingua
inglese
ISBN 10
3319227491
ISBN 13
9783319227498
Peso dell'articolo
1210 grammi
Dimensioni
241x160x45 mm

Wegmann1855

Zwiesel, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2022

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 9 a 30 giorni lavorativiDa 8 a 14 giorni lavorativi
Primo articoloEUR 25,95EUR 32,95
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • Contanti
  • Contanti alla consegna
  • PayPal

Descrizione dello Store

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

Informazioni sull’azienda del venditore

Metz Wegmann GmbH

Waldbahnstraße 94
Zwiesel, Germania 94227

Metz Wegmann GmbH
Waldbahnstr. 94
94227 Zwiesel
Deutschland

Tel.: 09922609490
Fax: 09922609491
E-Mail: info@schreibwaren-wegmann.de

Registergericht: Amtsgericht Deggendorf
Registernummer: HRB 5721

Geschäftsführer: Janos Metz

Umsatzsteuer-Identifikationsnummer: DE364194228

Verantwortliche/r i.S.d. § 18 Abs. 2 MStV:
Janos Metz, Stadtplatz 6, 94227 Zwiesel

Zuständige Aufsichtsbehörde für das Angebot audiovisueller Mediendienste:
Bayerische Landeszentrale für neue Medien (BLM), Heinrich-Lübke-Straße 27, 81737 München, Deutschland

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.

Betriebsstätte:

Stadtplatz 6
94227 Zwiesel
Deutschland