Computability 1st ed. 2022

Specifikācijas:
Autors: George Tourlakis
Lapaspušu skaits: 637
Izdošanas gads: 2022
Preces ID: 20324187

Prece izpārdota

Mēs Jūs informēsim, kad prece atkal būs pieejama atlikumā

Līdzīgas preces

Preces apraksts: 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.

Kopīgā informācija par: Computability 1st ed. 2022

Preces ID: 20324187
Kategorija: Ekonomikas grāmatas
Preču iepakojumu skaits: 1 gab.
Iepakojuma izmēri un svars (1): 0,03 x 0,16 x 0,24 m, 1,16 kg
Izdevniecība: Springer Nature Switzerland AG
Izdošanas valoda: Angļu valoda
Grāmatas vāku tips: Cietie
Formāts: Tradicionālā grāmata
Tips: Ekonomika
Grāmatas fragments: Ne
Autors: George Tourlakis
Lapaspušu skaits: 637
Izdošanas gads: 2022

Produktu attēliem ir ilustratīva nozīme un tie ir kā piemēri. Produkta aprakstā esošie video ir paredzēti tikai informatīviem nolūkiem, tāpēc tajos iekļautā informācija var atšķirties no paša produkta. Krāsas, piezīmes, parametri, izmēri, izmēri, funkcijas, un/vai jebkuras citas oriģinālo izstrādājumu īpašības var atšķirties no to faktiskā izskata, tāpēc, lūdzu, skatiet produkta specifikācijās norādīto produkta aprakstu.

Vērtējumi un atsauksmes (0)

Computability 1st ed. 2022
Esiet pirmais, kurš atstāj atsauksmi!
Šo preci var novērtēt tikai tie pircēji, kas to ir iegādājušies un reģistrējušies 220.lv.
Novērtēt preci

Jautājumi un atbildes (0)

Jautājiet citiem pircējiem par šo produktu!
Uzdot jautājumu
Jūsu jautājums ir veiksmīgi nosūtīts. Atbilde uz šo jautājumu tiks sniegta 3 darba dienu laikā
Jautājumam jāsatur vismaz 10 rakstzīmes