Programs as Diagrams: From Categorical Computability to Computable Categories

Sprache: Englisch

Verlag: Springer International Publishing AG, 2023

3031348265 / 9783031348266

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: World of Books Inc, Montgomery, IL, USAWorld of Books Inc

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei AbeBooks seit 23. März 2026

Hardcover

Zustand: Gebraucht - Gut

EUR 56,68

 Versand gratis 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language.  Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach. Topics and features: Delivers a ?crash? diagram-based course in theory of computationUses single-instruction diagrammatic programming languageOffers a practical introduction into categories and string diagrams as computational toolsReveals how computability is programmability, rather than an ?ether? permeating computers Provides a categorical model of intensional computation is unique up to isomorphismServes as a stepping stone into research of computable categories In addition to its early chapters introducing computability for beginners, this flexible textbook/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. Dusko Pavlovic is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.…

Bestandsnummer des Verkäufers CIN3031348265VG

Titel
Programs as Diagrams: From Categorical Computability to Computable Categories
Autor
Dusko Pavlovic
Verlag
Springer International Publishing AG
Erscheinungsjahr
2023
Zustand
Very Good
Einband
Hardback
Sprache
Englisch
ISBN-10
3031348265
ISBN-13
9783031348266

World of Books Inc

Montgomery, IL, USA

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei AbeBooks seit 23. März 2026

Versandkosten innerhalb von USA

Artikel4 bis 12 Werktage3 bis 6 Werktage
Erster ArtikelEUR 0,00EUR 9,81
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

Shopbeschreibung

Founded in 2002, World of Books is a leading online destination for buying and selling both preloved and new books, committed to making sustainable reading accessible to all. With a mission to help people read more and waste less, World of Books offers a huge range of affordable, high-quality books — giving both new and preloved titles a second life. The company also operates World of Books – Sell Your Books, an easy-to-use platform that allows customers to trade in unwanted books for cash, helping to keep books in circulation while promoting sustainability. As a Certified B Corp, World of Books is driven by a vision to become the world’s largest and most sustainable dedicated online bookstore. The company measures its success through the positive environmental impact it creates, the value it provides to customers, and its ability to operate profitably while supporting its sustainable mission …

Spezialisierung

Second Hand - All Genre

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

SBYB, Inc.

900 Knell Road
Montgomery, IL USA 60538