001481129 000__ 04386cam\\22005417i\4500
001481129 001__ 1481129
001481129 003__ OCoLC
001481129 005__ 20231031003324.0
001481129 006__ m\\\\\o\\d\\\\\\\\
001481129 007__ cr\cn\nnnunnun
001481129 008__ 230927s2023\\\\sz\a\\\\ob\\\\001\0\eng\d
001481129 019__ $$a1398463685$$a1399167324
001481129 020__ $$a9783031348273$$q(electronic bk.)
001481129 020__ $$a3031348273$$q(electronic bk.)
001481129 020__ $$z9783031348266
001481129 020__ $$z3031348265
001481129 0247_ $$a10.1007/978-3-031-34827-3$$2doi
001481129 035__ $$aSP(OCoLC)1399578205
001481129 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX
001481129 049__ $$aISEA
001481129 050_4 $$aQA169
001481129 08204 $$a512/.62$$223/eng/20230927
001481129 1001_ $$aPavlović, Dusko,$$eauthor.
001481129 24510 $$aPrograms as diagrams :$$bfrom categorical computability to computable categories /$$cDusko Pavlovic.
001481129 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2023]
001481129 300__ $$a1 online resource (xvii, 252 pages) :$$billustrations.
001481129 336__ $$atext$$btxt$$2rdacontent
001481129 337__ $$acomputer$$bc$$2rdamedia
001481129 338__ $$aonline resource$$bcr$$2rdacarrier
001481129 4901_ $$aTheory and Applications of Computability, In cooperation with the association Computability in Europe
001481129 504__ $$aIncludes bibliographical references and index.
001481129 5050_ $$a1. Drawing Types and Functions -- 2. Monoidal Computer: Computability as a Structure -- 3. Fixpoints -- 4. What can be Computed -- 5. What cannot be Computed -- 6. Computing Programs -- 7. Program-Closed Categories: Computability as a Property -- 8. Computable Categories and Effective Categorical Operations.
001481129 506__ $$aAccess limited to authorized users.
001481129 520__ $$aIt 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 computation Uses single-instruction diagrammatic programming language Offers a practical introduction into categories and string diagrams as computational tools Reveals how computability is programmability, rather than an ‘ether’ permeating computers Provides a categorical model of intensional computation is unique up to isomorphism Serves 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.
001481129 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 25, 2023).
001481129 650_0 $$aCategories (Mathematics)
001481129 650_0 $$aComputer science$$xMathematics.$$0(DLC)sh2007006411
001481129 655_0 $$aElectronic books.
001481129 77608 $$iPrint version:$$aPavlovic, Dusko$$tPrograms As Diagrams$$dCham : Springer,c2023$$z9783031348266
001481129 830_0 $$aTheory and applications of computability.
001481129 852__ $$bebk
001481129 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-34827-3$$zOnline Access$$91397441.1
001481129 909CO $$ooai:library.usi.edu:1481129$$pGLOBAL_SET
001481129 980__ $$aBIB
001481129 980__ $$aEBOOK
001481129 982__ $$aEbook
001481129 983__ $$aOnline
001481129 994__ $$a92$$bISE