Picture 1 of 1
Dusko Pavlovic Programs as Diagrams (Hardback)
Another great item from Rarewaves USA | Free delivery!
Condition:
More than 10 available
Postage:
Located in: 60502, United States
Delivery:
Varies
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 97.8% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:335161943388
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- Programs as Diagrams
- Publication Name
- Programs As Diagrams : from Categorical Computability to Computable Categories
- Title
- Programs as Diagrams
- Subtitle
- From Categorical Computability to Computable Categories
- Format
- Hardcover
- EAN
- 9783031348266
- ISBN
- 9783031348266
- Edition
- 1st ed. 2023
- Publisher
- Springer
- Genre
- Science Nature & Math
- Subject
- Computing & Internet
- Release Year
- 2023
- Release Date
- 20/09/2023
- Language
- English
- Country/Region of Manufacture
- CH
- Item Height
- 235mm
- Item Length
- 9.3in
- Series
- Theory and Applications of Computability Ser.
- Publication Year
- 2023
- Type
- Textbook
- Item Width
- 6.1in
- Item Weight
- 20.3 Oz
- Number of Pages
- Xvii, 252 Pages
About this product
Product Information
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, 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.
Product Identifiers
Publisher
Springer
ISBN-10
3031348265
ISBN-13
9783031348266
eBay Product ID (ePID)
8060626753
Product Key Features
Publication Name
Programs As Diagrams : from Categorical Computability to Computable Categories
Format
Hardcover
Language
English
Publication Year
2023
Series
Theory and Applications of Computability Ser.
Type
Textbook
Number of Pages
Xvii, 252 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
20.3 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
1. 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.
Copyright Date
2023
Topic
Programming Languages / General, Computer Science, General, Logic
Dewey Decimal
512.62
Dewey Edition
23
Illustrated
Yes
Genre
Computers, Mathematics
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:335161943388
Postage and handling
Item does not ship to United States
Item location:
60502, United States
Post to:
Albania, Algeria, American Samoa, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bolivia, Bosnia and Herzegovina, Botswana, British Virgin Islands, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, Gabon Republic, Gambia, Georgia, Ghana, Gibraltar, Greece, Greenland, Grenada, Guam, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Marshall Islands, Mauritania, Mauritius, Mayotte, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Palau, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Virgin Islands (U.S.), Wallis and Futuna, Western Sahara, Western Samoa, Worldwide, Zambia, Zimbabwe
Excludes:
Afghanistan, Australia, Austria, Barbados, Belarus, Bhutan, Brazil, Brunei Darussalam, France, French Guiana, French Polynesia, Germany, Guadeloupe, Ireland, Israel, Italy, Laos, Libya, Martinique, Mexico, Netherlands, New Caledonia, Reunion, Russian Federation, Spain, Switzerland, Ukraine, United Kingdom, United States, Venezuela, Yemen
| Handling time |
|---|
| Will usually post within 6 business days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #335161943388
Sales Tax for an item #335161943388
Seller collects sales tax for items shipped to the following states:
| State | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within |
|---|
| 30 days after the buyer receives it |
The buyer is responsible for return postage costs.
Seller feedback (62,769)
a***o (1429)- Feedback left by buyer.
Past month
Verified purchase
ok
t***r (262)- Feedback left by buyer.
Past month
Verified purchase
Multiple-repeat customer. As always, CD as described, for a good price, well packed and quickly shipped. Highly recommend.
t***r (262)- Feedback left by buyer.
Past month
Verified purchase
Multiple-repeat customer. As always, CD as described, for a good price, well packed and quickly shipped. Highly recommend.