Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

Semicomputable Function: Recursion Theory, Partial Function, Computable Function, Automated Theorem Proving, Curry- Howard Correspondence -

angļu valoda
2026-03-15
233,16 € 310,88 €

-25% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 15-21 darba dienu laikā

30 dienu atgriešanas politika

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 ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

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 subset X' ¿ X). If X' = X, then f is called a total function and is equivalent to a function. Partial functions are often used when the exact domain, X' , is not known (e.g. many functions in computability theory).

Vairāk informācijas

Izdevējs OmniScriptum
Izlaides gads 2026
Vāka tips Mīkstais vāks
EAN 9786131161957
Rakstiet savu atsauksmi
Jūs vērtējat: Semicomputable Function: Recursion Theory, Partial Function, Computable Function, Automated Theorem Proving, Curry- Howard Correspondence
Jūsu novērtējums:

Goodreads atsauksmes

233,16 € 310,88 €