| 書目名稱 | Programs as Diagrams | | 副標(biāo)題 | From Categorical Com | | 編輯 | Dusko Pavlovic | | 視頻video | http://file.papertrans.cn/761/760217/760217.mp4 | | 概述 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 19:09
發(fā)表于 2025-3-21 19:22:46
