| 书目名称 | Programs as Diagrams | | 副标题 | From Categorical Com | | 编辑 | Dusko Pavlovic | | 视频video | | | 概述 | Provides a diagrammatic programming language, based on and supporting the geometric algorithmic intuitions.Guided exercises (workouts) soften the demarcation line between passive and active use of the | | 丛书名称 | Theory and Applications of Computability | | 图书封面 |  | | 描述 | .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 .p.rograms 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, rathe | | 出版日期 | Textbook 2023 | | 关键词 | String Diagram; Metaprogramming; Type Theory; Halting Problem; Monoidal Category; Program SemanIcs; Self-r | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-34827-3 | | isbn_softcover | 978-3-031-34829-7 | | isbn_ebook | 978-3-031-34827-3Series ISSN 2190-619X Series E-ISSN 2190-6203 | | issn_series | 2190-619X | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|
发表于 2025-3-21 19:22:46
