Special Topics in Mathematics for Computer Scientists

Idioma: inglés

Editorial: Springer, Springer Nov 2015, 2015

3319227491 / 9783319227498

Librería: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, AlemaniaRheinberg-Buch Andreas Meier eK

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 17 de noviembre de 2008

Ver los artículos de este vendedor
Tapa dura

Condición: Nuevo

EUR 64,19

Envío por EUR 23,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This item is printed on demand - it takes 3-4 days longer - 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. 740 pp. Englisch.

N° de ref. del artículo 9783319227498

Título
Special Topics in Mathematics for Computer Scientists
Autor
Ernst-Erich Doberkat
Editorial
Springer, Springer Nov 2015
Año de publicación
2015
Estado
Neu
Encuadernación
Buch
Idioma
inglés
ISBN 10
3319227491
ISBN 13
9783319227498
Peso del artículo
1262 gramos
Dimensiones
241x160x45 mm

Rheinberg-Buch Andreas Meier eK

Bergisch Gladbach, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 17 de noviembre de 2008

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 5 a 15 días hábilesDe 2 a 4 días hábiles
Primer artículoEUR 23,00EUR 35,99
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Giro bancario
  • PayPal

Descripción de la tienda

Online Buchhandel

Información empresarial del vendedor

Rheinberg-Buch Andreas Meier eK

Alemania