Cargando…

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

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

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Doberkat, Ernst-Erich (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Temas:	Machine theory. Mathematical logic. Algebra, Homological. Formal Languages and Automata Theory. Mathematical Logic and Foundations. Category Theory, Homological Algebra.
Acceso en línea:	Texto Completo

Ejemplares similares

Stochastic Coalgebraic Logic
por: Doberkat, Ernst-Erich
Publicado: (2009)

Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion /
por: Hinkis, Arie
Publicado: (2013)

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /
por: Marquis, Jean-Pierre
Publicado: (2009)

Foundations of Algebraic Specification and Formal Software Development
por: Sannella, Donald, et al.
Publicado: (2012)

From Objects to Diagrams for Ranges of Functors
por: Gillibert, Pierre, et al.
Publicado: (2011)

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings /
Publicado: (2011)

A Course in Formal Languages, Automata and Groups
por: Chiswell, Ian M.
Publicado: (2009)

Algorithms in Invariant Theory
por: Sturmfels, Bernd
Publicado: (2008)

Logic for Computer Scientists
por: Schöning, Uwe
Publicado: (2008)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Publicado: (2015)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Publicado: (2011)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings /
Publicado: (2009)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Publicado: (2013)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Publicado: (2009)

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Publicado: (2011)

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
Publicado: (2013)

Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2010)

Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2014)

Mathematical Logic for Computer Science
por: Ben-Ari, Mordechai
Publicado: (2012)

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Publicado: (2009)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Publicado: (2009)

Towards the Mathematics of Quantum Field Theory
por: Paugam, Frédéric
Publicado: (2014)

Tool and Object A History and Philosophy of Category Theory /
por: Krömer, Ralph
Publicado: (2007)

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings /
Publicado: (2009)

Categories and Sheaves
por: Kashiwara, Masaki, et al.
Publicado: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings /
Publicado: (2007)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings /
Publicado: (2006)

A Course on Mathematical Logic
por: Srivastava, Shashi Mohan
Publicado: (2013)

Fundamentals of Algebraic Topology
por: Weintraub, Steven H.
Publicado: (2014)

Basic Bundle Theory and K-Cohomology Invariants
por: Husemöller, Dale, et al.
Publicado: (2008)

Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011)

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings /
Publicado: (2011)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Publicado: (2016)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Publicado: (2016)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Publicado: (2009)

New Structures for Physics
Publicado: (2011)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publicado: (2005)