Başlık:
Programs as Diagrams From Categorical Computability to Computable Categories
Yazar:
Pavlovic, Dusko. author.
ISBN:
9783031348273
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
XVII, 252 p. 1 illus. online resource.
Seri:
Theory and Applications of Computability, In cooperation with the association Computability in Europe,
İçerik:
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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-34827-3Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 520627-1001 | ONLINE | Arıyor... | Arıyor... |