Programs as Diagrams: From Categorical Computability to Computable Categories
Dusko Pavlovic
Informasi Umum
Kode
24.21.2047
Klasifikasi
005.3 - Computer programs
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Program
No. Rak
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Gedung Manterawu Lantai 5 : Rak 3
Tel-U Purwokerto : Rak 2
Dilihat
63 kali
Informasi Lainnya
Abstraksi
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.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Dusko Pavlovic |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Nature Switzerland |
| Kota | Switzerland |
| Tahun | 2023 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 1.000,00 |
| Jenis | Non-Sirkulasi |
