Computability 1st ed. 2022

Täpsustused:
Autor: George Tourlakis
Lehekülgede arv: 637
Ilmumisaasta: 2022
Kauba ID: 15521909
Äpis TASUTA TARNE al 15 €
10053
Lisa korvi
771 / kuus

3 3351
Ilma lisatasudeta
Sinu linn

Omniva pakiautomaat

17. oktoobrist

TASUTA TARNE al 20 €
000

Smartpost pakiautomaat

17. oktoobrist

TASUTA TARNE al 20 €
000

DPD pakiautomaat

17. oktoobrist

TASUTA TARNE al 20 €
000

Postkontor

17. oktoobrist

TASUTA TARNE al 20 €
000

Kuller

17. oktoobrist

599

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

Omniva pakiautomaat

17. oktoobrist

TASUTA TARNE al 20 €
000

Smartpost pakiautomaat

17. oktoobrist

TASUTA TARNE al 20 €
000

DPD pakiautomaat

17. oktoobrist

TASUTA TARNE al 20 €
000

Postkontor

17. oktoobrist

TASUTA TARNE al 20 €
000

Kuller

17. oktoobrist

599

Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.

  • 94% ostjatest soovitaks seda müüjat.

Toote kirjeldus: Computability 1st ed. 2022

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oracle computations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.

Üldine tooteinfo: Computability 1st ed. 2022

Kauba ID: 15521909
Kategooria: Majandusalased raamatud
Tootepakendite arv: 1 tk.
Paki suurus ja kaal (1): 0,03 x 0,16 x 0,24 m, 1,16 kg
Kirjastus: Springer Nature Switzerland AG
Raamatu keel: Inglise keel
Kaane tüüp: Kõva
Vorming: Traditsiooniline raamat
Tüüp: Majandusteadus
Raamat väljavõttega: Ei
Autor: George Tourlakis
Lehekülgede arv: 637
Ilmumisaasta: 2022

Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.

Hinnangud ja arvustused (0)

Computability 1st ed. 2022
Jäta esimene arvustus!
Toote hindamiseks pead olema sisse logitud ja toote Kaup24.ee e-poest eelnevalt ka ostnud.
Hinda toodet

Küsimused ja vastused (0)

Küsi toote kohta teistelt ostjatelt!
Esita küsimus
Teie küsimus on edukalt saadetud. Sellele küsimusele vastatakse 3 tööpäeva jooksul
Küsimus peab olema vähemalt 10 tähemärki