Semicomputable Function: Recursion Theory, Partial Function, Computable Function, Automated Theorem Proving, Curry- Howard Correspondence -
-25% koodilla BOOKS
Toimitus 15-21 arkipäivässä
30 päivän palautusoikeus
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In computability theory a subfield of computer science a semicomputable function is a partial function f. In mathematics, a partial function from X to Y is a function f: X' ¿ Y, where X' is a subset of X. It generalizes the concept of a function by not forcing f to map every element of X to an element of Y (only some sub ... Täydellinen kuvaus
Saatat myös pitää
Kuvaus
Lisätietoja
| Julkaisija | OmniScriptum |
|---|---|
| Julkaisuvuosi | 2026 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9786131161957 |